15:39:42pfdietzI'm going to try to modify the random form generator to make non-integer forms for "top level" forms (those whose return values end up being returned rather than being fed into arithmetic operator.) Maybe that would have caught this.

15:40:55stassatsmy modified test case crashed the compiler, so don't even need to check the result

15:46:26stassatswell, if they can be minimized, good, but i'll take any test case

15:47:31pfdietzHypothesis (a test framework in Python) takes a different approach: instead of simplifying the generated form, it mutates the sequence of random bits fed to the generator. This ensures that correct-by-construction is maintained.