cprover
clobber_main.cpp File Reference

Symex Main Module. More...

Include dependency graph for clobber_main.cpp:

Go to the source code of this file.

Functions

int main (int argc, const char **argv)
 

Detailed Description

Symex Main Module.

Definition in file clobber_main.cpp.

Function Documentation

§ main()

int main ( int  argc,
const char **  argv 
)

Definition at line 24 of file clobber_main.cpp.

References parse_options_baset::main().