9 #ifndef CPROVER_GOTO_HARNESS_GOTO_HARNESS_GENERATOR_FACTORY_H
10 #define CPROVER_GOTO_HARNESS_GOTO_HARNESS_GENERATOR_FACTORY_H
19 #define GOTO_HARNESS_GENERATOR_TYPE_OPT "harness-type"
20 #define GOTO_HARNESS_GENERATOR_HARNESS_FUNCTION_NAME_OPT "harness-function-name"
23 #define GOTO_HARNESS_FACTORY_OPTIONS \
24 "(" GOTO_HARNESS_GENERATOR_TYPE_OPT "):" \
25 "(" GOTO_HARNESS_GENERATOR_HARNESS_FUNCTION_NAME_OPT "):" \
26 // end GOTO_HARNESS_FACTORY_OPTIONS
36 std::function<std::unique_ptr<goto_harness_generatort>()>;
44 std::string generator_name,
49 std::unique_ptr<goto_harness_generatort>
factory(
50 const std::string &generator_name,
58 #endif // CPROVER_GOTO_HARNESS_GOTO_HARNESS_GENERATOR_FACTORY_H