cprover
mmcc_main.cpp File Reference

mmcc Main Module More...

#include "mmcc_parse_options.h"
#include <util/unicode.h>
Include dependency graph for mmcc_main.cpp:

Go to the source code of this file.

Functions

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

Detailed Description

mmcc Main Module

Definition in file mmcc_main.cpp.

Function Documentation

◆ main()

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

Definition at line 21 of file mmcc_main.cpp.

References parse_options_baset::main().