goto_harness_parse_options.h File Reference

#include <string>
#include <util/parse_options.h>
#include "function_harness_generator_options.h"
#include "goto_harness_generator_factory.h"
#include "memory_snapshot_harness_generator_options.h"

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.