-
@souenzzo oof it's really hard. The strategy right now is a bunch of regression tests where we feed the compiler expressions and check that the evaluated result is what we expect it to be. I have a prototype of a generative testing suite as well, but that needs more work.