Command Line Parsing. More...
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | cprover_parse_optionst |
Macros | |
| #define | CPROVER_OPTIONS |
Detailed Description
Command Line Parsing.
Definition in file cprover_parse_options.h.
Macro Definition Documentation
◆ CPROVER_OPTIONS
| #define CPROVER_OPTIONS |
Value:
"(help)?h(version)" \
"(smt2)(text)(outfile):" \
"(variables)" \
"(safety)(no-safety)(no-assertions)" \
"(contract):" \
"(solve)(unwind):(trace)" \
"(inline)(no-inline)" \
"D:I:" \
"(32)(64)" \
"(show-goto-functions)(show-loops)(show-properties)" \
"(show-functions-with-loops)" \
"(validate-goto-model)" \
"(verbose)"
Definition at line 15 of file cprover_parse_options.h.
