--dump-models-on implies --dump-models

Open Halbaroth opened this issue 2 years ago • 2 comments

If we want to dump models somewhere, we definitively want models!

I also refactor a bit the code and fix spelling.

Oct 05 '23 16:10 Halbaroth

https://github.com/OCamlPro/alt-ergo/pull/864#pullrequestreview-1661304845

Maybe can we merge this PR and open an issue about improving the command parsing in general which is (IMO) already quite a mess?

Nov 24 '23 09:11 Stevendeo

The PR shouldn't block additional improvements to command line parsing (which, indeed, is a mess); the behavior change itself is trivial and can easily be replicated if command line parsing is refactored; I'd rather close it (besides, there are conflicts).

Nov 24 '23 11:11 bclement-ocp