cprover
musketeer_parse_options.h File Reference

Command Line Parsing. More...

Include dependency graph for musketeer_parse_options.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  goto_fence_inserter_parse_optionst
 

Macros

#define GOTO_FENCE_INSERTER_OPTIONS
 

Detailed Description

Command Line Parsing.

Definition in file musketeer_parse_options.h.

Macro Definition Documentation

◆ GOTO_FENCE_INSERTER_OPTIONS

#define GOTO_FENCE_INSERTER_OPTIONS
Value:
"(scc)(one-event-per-cycle)(verbosity):" \
"(mm):(my-events)(unwind):" \
"(max-var):(max-po-trans):(ignore-arrays)(remove-function-pointers)" \
"(cfg-kill)(no-dependencies)(force-loop-duplication)(no-loop-duplication)" \
"(no-po-rendering)(render-cluster-file)(render-cluster-function)" \
"(cav11)(version)(const-function-pointer-propagation)(print-graph)" \
"(volatile)(all-shared)(pensieve)(naive)(all-shared-aeg)(async)(userdef)"

Definition at line 21 of file musketeer_parse_options.h.