CBMC
memory_analyzer_main.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Symbol Analyzer
4 
5 Author: Malte Mues <mail.mues@gmail.com>
6 
7 \*******************************************************************/
8 
11 
13 
14 int main(int argc, const char **argv)
15 {
16  memory_analyzer_parse_optionst parse_options(argc, argv);
17  return parse_options.main();
18 }
memory_analyzer_parse_optionst
Definition: memory_analyzer_parse_options.h:30
main
int main(int argc, const char **argv)
Definition: memory_analyzer_main.cpp:14
parse_options_baset::main
virtual int main()
Definition: parse_options.cpp:78
memory_analyzer_parse_options.h