Disable all custom extensions in strict mode

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

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

Other

126 stars 33 forks source link

Open bclement-ocp opened 1 month ago

bclement-ocp commented 1 month ago

See #1133:

Currently, the --strict option only disables optimization. It should also disable extensions such as ae.round and bv2nat / int2bv.