fix(incremental): Reset to `Assert` mode after `push`/`pop` command - Githubissues

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

131 stars 33 forks source link

fix(incremental): Reset to `Assert` mode after `push`/`pop` command #1064

Closed bclement-ocp closed 6 months ago

bclement-ocp commented 6 months ago

Fixes #1024