Use standard scheme for command-line arguments
All current command-line arguments of CPAchecker start with a single dash, e.g., -help
and -h
. This is unusual and we want to adopt a standard scheme of --long
and -s
(hort) options.
The old options would remain supported, but would be undocumented and potentially produce a warning informing the user about the new form.
We need to go through all existing options and decide for each one (a) whether we keep it and (b) whether we add a short form.
-cmc
and -cbmc
are likely candidates for not being kept.