12 #ifndef CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H 13 #define CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H 31 #define JDIFF_OPTIONS \ 33 OPT_SHOW_GOTO_FUNCTIONS \ 37 "(verbosity):(version)" \ 39 "(no-refine-strings)" \ 41 "u(unified)(change-impact)(forward-impact)(backward-impact)" \ 55 const std::string &extra_options);
74 #endif // CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H
jdiff_languagest languages2
ui_message_handlert ui_message_handler
virtual bool process_goto_program(const optionst &options, goto_modelt &goto_model)
virtual int doit()
invoke main modules
virtual int get_goto_program(const optionst &options, jdiff_languagest &languages, goto_modelt &goto_model)
virtual void get_command_line_options(optionst &options)
jdiff_parse_optionst(int argc, const char **argv)
virtual void help()
display command line help