12#ifndef CPROVER_GOTO_DIFF_GOTO_DIFF_PARSE_OPTIONS_H
13#define CPROVER_GOTO_DIFF_GOTO_DIFF_PARSE_OPTIONS_H
30#define GOTO_DIFF_OPTIONS \
32 OPT_SHOW_GOTO_FUNCTIONS \
37 "(verbosity):(version)" \
40 "u(unified)(change-impact)(forward-impact)(backward-impact)" \
int doit() override
invoke main modules
bool process_goto_program(const optionst &options, goto_modelt &goto_model)
void help() override
display command line help
goto_diff_parse_optionst(int argc, const char **argv)
void get_command_line_options(optionst &options)
void register_languages() override
Coverage Instrumentation.