#include <functional>
#include <list>
#include <map>
#include <memory>
#include <string>

Include dependency graph for goto_harness_generator_factory.h:

This graph shows which files directly or indirectly include this file:

Classes
class	goto_harness_generator_factoryt
	helper to select harness type by name. More...

Macros
#define	GOTO_HARNESS_GENERATOR_TYPE_OPT "harness-type"

#define	GOTO_HARNESS_GENERATOR_HARNESS_FUNCTION_NAME_OPT "harness-function-name"

#define	GOTO_HARNESS_FACTORY_OPTIONS

Macro Definition Documentation

◆ GOTO_HARNESS_FACTORY_OPTIONS

#define GOTO_HARNESS_FACTORY_OPTIONS

Value:

"(" GOTO_HARNESS_GENERATOR_TYPE_OPT "):" \

#define GOTO_HARNESS_GENERATOR_HARNESS_FUNCTION_NAME_OPT "harness-function-name"

#define GOTO_HARNESS_GENERATOR_TYPE_OPT "harness-type"