clobber_parse_options.h File Reference

Command Line Parsing. More...

#include <util/ui_message.h>
#include <util/parse_options.h>
#include <langapi/language_ui.h>
#include <analyses/goto_check.h>
#include <goto-programs/show_goto_functions.h>

Include dependency graph for clobber_parse_options.h:

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

Go to the source code of this file.

Classes
class	clobber_parse_optionst

Macros
#define	CLOBBER_OPTIONS

Detailed Description

Command Line Parsing.

Definition in file clobber_parse_options.h.

Macro Definition Documentation

CLOBBER_OPTIONS

#define CLOBBER_OPTIONS

Value:

"(depth):(context-bound):(unwind):" \
  OPT_GOTO_CHECK \
  OPT_SHOW_GOTO_FUNCTIONS \
  "(no-assertions)(no-assumptions)" \
  "(error-label):(verbosity):(no-library)" \
  "(version)" \
  "(string-abstraction)" \
  "(show-locs)(show-vcc)(show-properties)(show-trace)" \
  "(property):"

Definition at line 26 of file clobber_parse_options.h.