cprover_parse_options.h File Reference

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.