cprover
Loading...
Searching...
No Matches
goto_diff_parse_options.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: GOTO-DIFF Command Line Option Processing
4
5Author: Peter Schrammel
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_GOTO_DIFF_GOTO_DIFF_PARSE_OPTIONS_H
13#define CPROVER_GOTO_DIFF_GOTO_DIFF_PARSE_OPTIONS_H
14
16
17#include <util/ui_message.h>
18#include <util/parse_options.h>
19#include <util/timestamper.h>
20
23
25
26class goto_modelt;
27class optionst;
28
29// clang-format off
30#define GOTO_DIFF_OPTIONS \
31 "(json-ui)" \
32 OPT_SHOW_GOTO_FUNCTIONS \
33 OPT_SHOW_PROPERTIES \
34 "(show-loops)" \
35 OPT_GOTO_CHECK \
36 OPT_COVER \
37 "(verbosity):(version)" \
38 OPT_FLUSH \
39 OPT_TIMESTAMP \
40 "u(unified)(change-impact)(forward-impact)(backward-impact)" \
41 "(compact-output)"
42// clang-format on
43
45{
46public:
47 int doit() override;
48 void help() override;
49
50 goto_diff_parse_optionst(int argc, const char **argv);
51
52protected:
53 void register_languages() override;
54
56
57 bool process_goto_program(const optionst &options, goto_modelt &goto_model);
58};
59
60#endif // CPROVER_GOTO_DIFF_GOTO_DIFF_PARSE_OPTIONS_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:564
int doit() override
invoke main modules
bool process_goto_program(const optionst &options, goto_modelt &goto_model)
void help() override
display command line help
void get_command_line_options(optionst &options)
Coverage Instrumentation.
Program Transformation.
Show the goto functions.
Show the properties.
Emit timestamps.