cprover
cbmc_parse_options.h File Reference

CBMC Command Line Option Processing. More...

#include <util/ui_message.h>
#include <util/parse_options.h>
#include <util/timestamper.h>
#include <langapi/language.h>
#include <analyses/goto_check.h>
#include <goto-programs/goto_trace.h>
#include "bmc.h"
#include "xml_interface.h"
#include "cbmc_solvers.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 34 of file cbmc_parse_options.h.