9#ifndef CPROVER_GOTO_HARNESS_GOTO_HARNESS_PARSE_OPTIONS_H
10#define CPROVER_GOTO_HARNESS_GOTO_HARNESS_PARSE_OPTIONS_H
21#define GOTO_HARNESS_OPTIONS \
23 GOTO_HARNESS_FACTORY_OPTIONS \
24 COMMON_HARNESS_GENERATOR_OPTIONS \
25 FUNCTION_HARNESS_GENERATOR_OPTIONS \
26 MEMORY_SNAPSHOT_HARNESS_GENERATOR_OPTIONS \
helper to select harness type by name.
std::map< std::string, std::list< std::string > > generator_optionst
goto_harness_configt handle_common_options()
Handle command line arguments that are common to all harness generators.
goto_harness_parse_optionst(int argc, const char *argv[])
goto_harness_generator_factoryt make_factory()
Setup the generator factory.
goto_harness_generator_factoryt::generator_optionst collect_generate_factory_options()
Gather all the options that are not handled by handle_common_options().
parse_options_baset(const std::string &optstring, int argc, const char **argv, const std::string &program)
irep_idt harness_function_name