CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
goto_harness_parse_options.h File Reference
+ Include dependency graph for goto_harness_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_harness_parse_optionst
 
struct  goto_harness_parse_optionst::goto_harness_configt
 

Macros

#define GOTO_HARNESS_OPTIONS
 

Macro Definition Documentation

◆ GOTO_HARNESS_OPTIONS

#define GOTO_HARNESS_OPTIONS
Value:
"(version)" \
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562

Definition at line 21 of file goto_harness_parse_options.h.