CBMC
Loading...
Searching...
No Matches
jdiff_parse_options.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: JDIFF Command Line Option Processing
4
5Author: Peter Schrammel
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H
13#define CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H
14
15#include <util/parse_options.h>
16#include <util/timestamper.h>
17
20
22
23class goto_modelt;
24
25// clang-format off
26#define JDIFF_OPTIONS \
27 "(json-ui)" \
28 OPT_SHOW_GOTO_FUNCTIONS \
29 OPT_SHOW_PROPERTIES \
30 "(show-loops)" \
31 "(no-assertions)(no-assumptions)" \
32 OPT_COVER \
33 "(verbosity):(version)" \
34 OPT_TIMESTAMP \
35 "u(unified)(change-impact)(forward-impact)(backward-impact)" \
36 "(compact-output)"
37// clang-format on
38
40{
41public:
42 int doit() override;
43 void help() override;
44
45 jdiff_parse_optionst(int argc, const char **argv);
46
47protected:
48 void register_languages() override;
49
51
52 bool process_goto_program(const optionst &options, goto_modelt &goto_model);
53};
54
55#endif // CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H
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.
Show the goto functions.
Show the properties.
Emit timestamps.