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
12
#include "
symtab2gb_parse_options.h
"
13
14
int
main
(
int
argc,
const
char
*argv[])
15
{
16
symtab2gb_parse_optionst
parse_options{argc, argv};
17
return
parse_options.
main
();
18
}
parse_options_baset::main
virtual int main()
Definition:
parse_options.cpp:75
symtab2gb_parse_optionst
Definition:
symtab2gb_parse_options.h:26
main
int main(int argc, const char *argv[])
Definition:
symtab2gb_main.cpp:14
symtab2gb_parse_options.h
src
symtab2gb
symtab2gb_main.cpp
Generated by
1.9.1