cprover
mmcc_parse_options.h File Reference

mmcc Command Line Option Processing More...

Include dependency graph for mmcc_parse_options.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  mmcc_parse_optionst
 

Macros

#define MMCC_OPTIONS   ""
 

Detailed Description

mmcc Command Line Option Processing

Definition in file mmcc_parse_options.h.

Macro Definition Documentation

§ MMCC_OPTIONS

#define MMCC_OPTIONS   ""

Definition at line 19 of file mmcc_parse_options.h.