cprover
goto_harness_main.cpp
Go to the documentation of this file.
1/******************************************************************\
2
3Module: goto_harness_main
4
5Author: Diffblue Ltd.
6
7\******************************************************************/
8
10
11int main(int argc, const char *argv[])
12{
13 return goto_harness_parse_optionst{argc, argv}.main();
14}
virtual int main()
int main(int argc, const char *argv[])