fix: Make sure model generation is complete for more operators

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

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

Other

132 stars 33 forks source link

fix: Make sure model generation is complete for more operators #1234

Closed bclement-ocp closed 2 months ago

bclement-ocp commented 2 months ago

Some RIA operators are not complete even in the presence of the corresponding prelude. Add them as delayed functions to ensure we loop rather than generating an incorrect model.