Tidying up the options for goto-instrument#6475

Merged

tautschnig merged 14 commits intodiffblue:developfrom

martin-cs:tidy/goto-instrument-options

Dec 1, 2021

Commits on Nov 23, 2021

--all is not implemented, not clear that it has a sensible implementation
martin
committed
OPT_ and HELP_ macros for the document properties flags
martin
committed
Add basic "does it run" tests for the --document options
martin
committed
OPT_ and HELP_ macros for the dump-c flags
martin
committed
Remove --no-pointer-check from CBMC KNOWNBUG tests
martin
committed
Remove the --no-*-check options from goto-instrument
martin
committed
OPT_ and HELP_ macros for the remove options flag
martin
committed
Document the XML output option
martin
committed
OPT_ and HELP_ macros for the uninitialized local variable check flag
martin
committed
Improve the error messages given by the uninitialized checks
martin
committed

Commits on Nov 25, 2021

Add a test for the uninitialized local variable check
martin
committed
Fix up the include order of local headers
martin
committed
OPT_ and HELP_ macros for the weak memory model flags
martin
committed
Remove the --mm option from goto-diff
martin
committed