Re: Using quidem tests to validate optimization rules

[Julian Hyde]

You are correct. There is no mechanism, and one would be really useful.

> On Mar 18, 2024, at 1:19 PM, Mihai Budiu <mbu...@gmail.com> wrote:
> 
> Hello,
> 
> I was looking around to see whether it's possible to use a quidem test to 
> exercise specific optimization rules, but I couldn't find anything. Is there 
> such a mechanism, or should I file an issue to create one?
> 
> Thank you,
> Mihai