cprover
Loading...
Searching...
No Matches
goto_harness_main.cpp
Go to the documentation of this file.
1
/******************************************************************\
2
3
Module: goto_harness_main
4
5
Author: Diffblue Ltd.
6
7
\******************************************************************/
8
9
#include "
goto_harness_parse_options.h
"
10
11
int
main
(
int
argc
,
const
char
*
argv
[])
12
{
13
return
goto_harness_parse_optionst
{
argc
,
argv
}.main();
14
}
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:564
goto_harness_parse_optionst
Definition
goto_harness_parse_options.h:32
main
int main()
Definition
example.cpp:18
goto_harness_parse_options.h
goto-harness
goto_harness_main.cpp
Generated by
1.9.8