CBMC
goto_inspect_parse_options.h File Reference
+ Include dependency graph for goto_inspect_parse_options.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  goto_inspect_parse_optionst
 

Macros

#define GOTO_INSPECT_OPTIONS
 

Macro Definition Documentation

◆ GOTO_INSPECT_OPTIONS

#define GOTO_INSPECT_OPTIONS
Value:
"(version)" \
"(show-goto-functions)" \

Definition at line 9 of file goto_inspect_parse_options.h.