cprover
symex_main.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Symex Main Module
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#include "
symex_parse_options.h
"
13
14
#include <
util/unicode.h
>
15
16
#ifdef _MSC_VER
17
int
wmain(
int
argc,
const
wchar_t
**argv_wide)
18
{
19
const
char
**argv=
narrow_argv
(argc, argv_wide);
20
symex_parse_optionst
parse_options(argc, argv);
21
return
parse_options.main();
22
}
23
#else
24
int
main
(
int
argc,
const
char
**argv)
25
{
26
symex_parse_optionst
parse_options(argc, argv);
27
return
parse_options.
main
();
28
}
29
#endif
symex_parse_options.h
Command Line Parsing.
unicode.h
narrow_argv
const char ** narrow_argv(int argc, const wchar_t **argv_wide)
Definition:
unicode.cpp:155
parse_options_baset::main
virtual int main()
Definition:
parse_options.cpp:40
symex_parse_optionst
Definition:
symex_parse_options.h:53
main
int main(int argc, const char **argv)
Definition:
symex_main.cpp:24
symex
symex_main.cpp
Generated by
1.8.12