cprover
Loading...
Searching...
No Matches
symtab2gb_main.cpp
Go to the documentation of this file.
1/******************************************************************\
2
3Module: symtab2gb_main
4
5Author: Diffblue Ltd.
6
7\******************************************************************/
8
11
13
14int main(int argc, const char *argv[])
15{
16 symtab2gb_parse_optionst parse_options{argc, argv};
17 return parse_options.main();
18}
virtual int main()
int main()
Definition: example.cpp:18