Commit 2024-02-10 05:27 7dea24a9View on Github →
fix: improve the logging behavior of
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
CoreM, so that the output can be sent through the logging infrastructure rather than
This is important, because tests are not allowed to be noisy, and we have no way to capture