cprover
Loading...
Searching...
No Matches
goto_instrument_main.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Main Module
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifdef _MSC_VER
13
# include <
util/unicode.h
>
14
#endif
15
16
#include "
goto_instrument_parse_options.h
"
17
18
#ifdef _MSC_VER
19
int
wmain
(
int
argc
,
const
wchar_t
**
argv_wide
)
20
{
21
auto
vec
=
narrow_argv
(
argc
,
argv_wide
);
22
auto
narrow
=
to_c_str_array
(std::begin(
vec
), std::end(
vec
));
23
auto
argv
=
narrow
.data();
24
#else
25
int
main
(
int
argc
,
const
char
**
argv
)
26
{
27
#endif
28
goto_instrument_parse_optionst
parse_options
(
argc
,
argv
);
29
return
parse_options
.main();
30
}
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:564
goto_instrument_parse_optionst
Definition
goto_instrument_parse_options.h:128
main
int main()
Definition
example.cpp:18
goto_instrument_parse_options.h
Command Line Parsing.
narrow
output_type narrow(input_type input)
Run-time checked narrowing cast.
Definition
narrow.h:34
narrow_argv
std::vector< std::string > narrow_argv(int argc, const wchar_t **argv_wide)
Definition
unicode.cpp:149
unicode.h
to_c_str_array
std::vector< const char * > to_c_str_array(It b, It e)
Definition
unicode.h:59
goto-instrument
goto_instrument_main.cpp
Generated by
1.9.8