musketeer_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 <goto-programs/goto_functions.h>

Include dependency graph for musketeer_parse_options.h:

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

Go to the source code of this file.

Classes
class	goto_fence_inserter_parse_optionst

Macros
#define	GOTO_FENCE_INSERTER_OPTIONS

Detailed Description

Command Line Parsing.

Definition in file musketeer_parse_options.h.

Macro Definition Documentation

GOTO_FENCE_INSERTER_OPTIONS

#define GOTO_FENCE_INSERTER_OPTIONS

Value:

"(scc)(one-event-per-cycle)(verbosity):" \
  "(mm):(my-events)(unwind):" \
  "(max-var):(max-po-trans):(ignore-arrays)(remove-function-pointers)" \
  "(cfg-kill)(no-dependencies)(force-loop-duplication)(no-loop-duplication)" \
  "(no-po-rendering)(render-cluster-file)(render-cluster-function)" \
  "(cav11)(version)(const-function-pointer-propagation)(print-graph)" \
  "(volatile)(all-shared)(pensieve)(naive)(all-shared-aeg)(async)(userdef)"

Definition at line 21 of file musketeer_parse_options.h.