cprover
Loading...
Searching...
No Matches
symtab2gb_parse_options.h
Go to the documentation of this file.
1/******************************************************************\
2
3Module: symtab2gb_parse_options
4
5Author: Diffblue Ltd.
6
7\******************************************************************/
8
9#ifndef CPROVER_SYMTAB2GB_SYMTAB2GB_PARSE_OPTIONS_H
10#define CPROVER_SYMTAB2GB_SYMTAB2GB_PARSE_OPTIONS_H
11
12#include <util/parse_options.h>
13
14#define SYMTAB2GB_OUT_FILE_OPT "out"
15
16// clang-format off
17
18#define SYMTAB2GB_OPTIONS \
19 "(" SYMTAB2GB_OUT_FILE_OPT "):" \
20// end options
21
22// clang-format on
23
25{
26public:
27 symtab2gb_parse_optionst(int argc, const char *argv[]);
28 void help() override;
29 int doit() override;
30
31protected:
32 void register_languages() override;
33};
34
35#endif // CPROVER_SYMTAB2GB_SYMTAB2GB_PARSE_OPTIONS_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:564