cbmc_parse_options.h File Reference

CBMC Command Line Option Processing. More...

#include <util/ui_message.h>
#include <util/parse_options.h>
#include <langapi/language_ui.h>
#include <analyses/goto_check.h>
#include "xml_interface.h"

Include dependency graph for cbmc_parse_options.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	cbmc_parse_optionst

Macros
#define	CBMC_OPTIONS

Detailed Description

CBMC Command Line Option Processing.

Definition in file cbmc_parse_options.h.

Macro Definition Documentation

CBMC_OPTIONS

#define CBMC_OPTIONS

Definition at line 28 of file cbmc_parse_options.h.