#include <goto_harness_generator.h>
|
virtual void | handle_option (const std::string &option, const std::list< std::string > &values)=0 |
| Handle a command line argument.
|
virtual void | validate_options (const goto_modelt &goto_model)=0 |
| Check if options are in a sane state, throw otherwise.
|
Definition at line 41 of file goto_harness_generator.h.
◆ ~goto_harness_generatort()
virtual goto_harness_generatort::~goto_harness_generatort |
( |
| ) |
|
|
virtualdefault |
◆ generate()
virtual void goto_harness_generatort::generate |
( |
goto_modelt & | goto_model, |
|
|
const irep_idt & | harness_function_name ) |
|
pure virtual |
◆ handle_option()
virtual void goto_harness_generatort::handle_option |
( |
const std::string & | option, |
|
|
const std::list< std::string > & | values ) |
|
protectedpure virtual |
◆ validate_options()
virtual void goto_harness_generatort::validate_options |
( |
const goto_modelt & | goto_model | ) |
|
|
protectedpure virtual |
◆ goto_harness_generator_factoryt
The documentation for this class was generated from the following file: