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