12 #ifndef CPROVER_CLOBBER_CLOBBER_PARSE_OPTIONS_H 13 #define CPROVER_CLOBBER_CLOBBER_PARSE_OPTIONS_H 28 #define CLOBBER_OPTIONS \ 29 "(depth):(context-bound):(unwind):" \ 31 OPT_SHOW_GOTO_FUNCTIONS \ 33 "(no-assertions)(no-assumptions)" \ 34 "(error-label):(verbosity):(no-library)" \ 36 "(string-abstraction)" \ 37 "(show-locs)(show-vcc)(show-trace)" \ 53 const std::string &extra_options);
71 #endif // CPROVER_CLOBBER_CLOBBER_PARSE_OPTIONS_H void show_counterexample(const class goto_tracet &)
ui_message_handlert ui_message_handler
bool set_properties(goto_functionst &)
virtual int doit()
invoke main modules
virtual void help()
display command line help
bool process_goto_program(const optionst &options, goto_modelt &)
void get_command_line_options(optionst &)
clobber_parse_optionst(int argc, const char **argv)