cprover
goto_diff_main.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: GOTO-DIFF Main Module
4
5
Author: Peter Schrammel
6
7
\*******************************************************************/
8
11
12
#include "
goto_diff_parse_options.h
"
13
14
#include <
util/unicode.h
>
15
16
#ifdef IREP_HASH_STATS
17
#include <iostream>
18
#endif
19
20
#ifdef IREP_HASH_STATS
21
extern
unsigned
long
long
irep_hash_cnt;
22
extern
unsigned
long
long
irep_cmp_cnt;
23
extern
unsigned
long
long
irep_cmp_ne_cnt;
24
#endif
25
26
#ifdef _MSC_VER
27
int
wmain(
int
argc,
const
wchar_t
**argv_wide)
28
{
29
const
char
**argv=
narrow_argv
(argc, argv_wide);
30
#else
31
int
main
(
int
argc,
const
char
**argv)
32
{
33
#endif
34
goto_diff_parse_optionst
parse_options(argc, argv);
35
36
int
res=parse_options.
main
();
37
38
#ifdef IREP_HASH_STATS
39
std::cout <<
"IREP_HASH_CNT="
<< irep_hash_cnt <<
'\n'
;
40
std::cout <<
"IREP_CMP_CNT="
<< irep_cmp_cnt <<
'\n'
;
41
std::cout <<
"IREP_CMP_NE_CNT="
<< irep_cmp_ne_cnt <<
'\n'
;
42
#endif
43
44
return
res;
45
}
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
goto_diff_parse_optionst
Definition:
goto_diff_parse_options.h:35
goto_diff_parse_options.h
GOTO-DIFF Command Line Option Processing.
main
int main(int argc, const char **argv)
Definition:
goto_diff_main.cpp:31
goto-diff
goto_diff_main.cpp
Generated by
1.8.12