cprover
|
mmcc Main Module More...
Go to the source code of this file.
Functions | |
int | main (int argc, const char **argv) |
mmcc Main Module
Definition in file mmcc_main.cpp.
int main | ( | int | argc, |
const char ** | argv | ||
) |
Definition at line 21 of file mmcc_main.cpp.
References parse_options_baset::main().