cprover
memory_analyzer_main.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Symbol Analyzer
4
5Author: Malte Mues <mail.mues@gmail.com>
6
7\*******************************************************************/
8
11
13
14int main(int argc, const char **argv)
15{
16 memory_analyzer_parse_optionst parse_options(argc, argv);
17 return parse_options.main();
18}
virtual int main()
int main(int argc, const char **argv)
This code does the command line parsing for the memory-analyzer tool.