cprover
musketeer_main.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Main Module
4
5
Author: Vincent Nimal
6
7
\*******************************************************************/
8
11
12
#include "
musketeer_parse_options.h
"
13
14
int
main
(
int
argc,
const
char
**argv)
15
{
16
goto_fence_inserter_parse_optionst
parse_options(argc, argv);
17
return
parse_options.
main
();
18
}
parse_options_baset::main
virtual int main()
Definition:
parse_options.cpp:40
musketeer_parse_options.h
Command Line Parsing.
main
int main(int argc, const char **argv)
Definition:
musketeer_main.cpp:14
goto_fence_inserter_parse_optionst
Definition:
musketeer_parse_options.h:30
musketeer
musketeer_main.cpp
Generated by
1.8.14