Closed SimonGuilloud closed 1 year ago
One of the proofs does not pass due to Simplify.once(false...
failing. This should be a true, but it's a bit painful to manage, so I added a left/right subst check here: https://github.com/SimonGuilloud/lisa/pull/2. Alternatively, apply the patch from Github's raw patch
Helpers modernization