cprover
Loading...
Searching...
No Matches
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)" \
GOTO_HARNESS_FACTORY_OPTIONS \
COMMON_HARNESS_GENERATOR_OPTIONS \
FUNCTION_HARNESS_GENERATOR_OPTIONS \
MEMORY_SNAPSHOT_HARNESS_GENERATOR_OPTIONS \

Definition at line 21 of file goto_harness_parse_options.h.