cprover
symex_parse_options.h File Reference

Command Line Parsing. More...

Include dependency graph for symex_parse_options.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  symex_parse_optionst
 

Macros

#define SYMEX_OPTIONS
 

Detailed Description

Command Line Parsing.

Definition in file symex_parse_options.h.

Macro Definition Documentation

◆ SYMEX_OPTIONS

#define SYMEX_OPTIONS
Value:
"(function):" \
"D:I:" \
"(depth):(context-bound):(branch-bound):(unwind):(max-search-time):" \
OPT_GOTO_CHECK \
"(no-assertions)(no-assumptions)" \
"(16)(32)(64)(LP64)(ILP64)(LLP64)(ILP32)(LP32)" \
"(little-endian)(big-endian)" \
"(error-label):(verbosity):(no-library)" \
"(version)" \
"(bfs)(dfs)(locs)" \
"(cover):" \
"(i386-linux)(i386-macos)(i386-win32)(win32)(winx64)(gcc)" \
"(ppc-macos)(unsigned-char)" \
"(string-abstraction)(no-arch)(arch):(floatbv)(fixedbv)" \
"(round-to-nearest)(round-to-plus-inf)(round-to-minus-inf)(round-to-zero)" \
"(show-locs)(show-vcc)(show-properties)" \
"(drop-unused-functions)" \
OPT_SHOW_GOTO_FUNCTIONS \
"(property):(trace)(show-trace)(stop-on-fail)(eager-infeasibility)" \
"(no-simplify)(no-unwinding-assertions)(no-propagation)"

Definition at line 30 of file symex_parse_options.h.