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 
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 }
const char ** narrow_argv(int argc, const wchar_t **argv_wide)
Definition: unicode.cpp:155
virtual int main()
GOTO-DIFF Command Line Option Processing.
int main(int argc, const char **argv)