CBMC
Loading...
Searching...
No Matches
goto_inspect_parse_options.h
Go to the documentation of this file.
1// Author: Fotis Koutoulakis for Diffblue Ltd.
2
3#ifndef CPROVER_GOTO_INSPECT_GOTO_INSPECT_PARSE_OPTIONS_H
4#define CPROVER_GOTO_INSPECT_GOTO_INSPECT_PARSE_OPTIONS_H
5
7
8// clang-format off
9#define GOTO_INSPECT_OPTIONS \
10 "(version)" \
11 "(show-goto-functions)" \
12// end GOTO_INSPECT_OPTIONS
13
14// clang-format on
15
17{
18 int doit() override;
19 void help() override;
20
21 goto_inspect_parse_optionst(int argc, const char *argv[]);
22};
23
24#endif // CPROVER_GOTO_INSPECT_GOTO_INSPECT_PARSE_OPTIONS_H