OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
132 stars 33 forks source link

Catch Step_limit_reached consistently with Timeout #1245

Closed bclement-ocp closed 1 month ago

bclement-ocp commented 1 month ago

This is a partial fix for #1244 that only addresses the fatal error issue, but not incrementality.