Deprecate debug flags - Githubissues

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

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

Other

130 stars 33 forks source link

Deprecate debug flags #1204

Closed Halbaroth closed 3 weeks ago

Halbaroth commented 1 month ago

This PR deprecates some debug flags because they are unused or used by code that will be removed in v2.7.0. All of them will be removed in v2.7.0.

I opened an issue #1205 to remind us to remove them in v2.7.0.