cprover
goto_analyzer_parse_options.h File Reference

Goto-Analyser Command Line Option Processing. More...

Include dependency graph for goto_analyzer_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_analyzer_parse_optionst
 

Macros

#define GOTO_ANALYSER_OPTIONS
 

Detailed Description

Goto-Analyser Command Line Option Processing.

Definition in file goto_analyzer_parse_options.h.

Macro Definition Documentation

§ GOTO_ANALYSER_OPTIONS

#define GOTO_ANALYSER_OPTIONS
Value:
"(function):" \
"D:I:(std89)(std99)(std11)" \
"(classpath):(cp):(main-class):" \
"(16)(32)(64)(LP64)(ILP64)(LLP64)(ILP32)(LP32)" \
"(little-endian)(big-endian)" \
OPT_SHOW_GOTO_FUNCTIONS \
OPT_GOTO_CHECK \
"(show-loops)" \
"(show-symbol-table)(show-parse-tree)" \
"(show-properties)(show-reachable-properties)(property):" \
"(verbosity):(version)" \
"(gcc)(arch):" \
"(taint):(show-taint)" \
"(show-local-may-alias)" \
"(json):(xml):" \
"(unreachable-instructions)(unreachable-functions)" \
"(reachable-functions)" \
"(intervals)(show-intervals)" \
"(non-null)(show-non-null)"

Definition at line 29 of file goto_analyzer_parse_options.h.