Commit 2024-02-10 05:27 7dea24a9

View on Github →

fix: improve the logging behavior of slim_check (#10393) There was a bug in the tactic that meant it would always print "no goals to be solved". This also promotes the code-generation from IO to CoreM, so that the output can be sent through the logging infrastructure rather than IO.println. This is important, because tests are not allowed to be noisy, and we have no way to capture IO output.

Estimated changes