More options for `why3 replay`
Several wishes:
-
why3 replay --merging-only
should have different exit codes depending whether there are obsolete goals and detached goals. Should exit 0 only if no detached and no obsolete -
an option to ensures that why3 replay
will never change the session, unlike the current behavior that changes the file when are were obsolete files and replay was successful. A kind of converse of--force
-
document all options and return codes, including --merging-only
which is currently not documented