31extern unsigned long long irep_hash_cnt;
32extern unsigned long long irep_cmp_cnt;
33extern unsigned long long irep_cmp_ne_cnt;
37int wmain(
int argc,
const wchar_t **argv_wide)
43int main(
int argc,
const char **argv)
48 int res=parse_options.
main();
50 #ifdef IREP_HASH_STATS
51 std::cout <<
"IREP_HASH_CNT=" << irep_hash_cnt <<
'\n';
52 std::cout <<
"IREP_CMP_CNT=" << irep_cmp_cnt <<
'\n';
53 std::cout <<
"IREP_CMP_NE_CNT=" << irep_cmp_ne_cnt <<
'\n';
JBMC Command Line Option Processing.
output_type narrow(input_type input)
Run-time checked narrowing cast.
std::vector< std::string > narrow_argv(int argc, const wchar_t **argv_wide)
std::vector< const char * > to_c_str_array(It b, It e)