12 #ifndef CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H
13 #define CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H
28 #define JDIFF_OPTIONS \
30 OPT_SHOW_GOTO_FUNCTIONS \
35 "(verbosity):(version)" \
37 "(no-refine-strings)" \
39 "u(unified)(change-impact)(forward-impact)(backward-impact)" \
jdiff_parse_optionst(int argc, const char **argv)
void register_languages() override
void help() override
display command line help
bool process_goto_program(const optionst &options, goto_modelt &goto_model)
void get_command_line_options(optionst &options)
int doit() override
invoke main modules
Coverage Instrumentation.
Check for Errors in Java Programs.