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