On Mon, Feb 03, 2025 at 07:20:16AM -0800, Karthik Nayak wrote: > Like Phillip and Patrick mentioned, this should go away since we're > moving to using the clar test framework. I think it makes sense to keep > this as is to stay consistent with the rest of code in this file for > now. It is ugly, but seems like that would be simpler while migrating. Yeah, definitely not worth addressing this single case. I was more interested in the overall trend, but it sounds like there are plans there already. -Peff
