CBMC
Loading...
Searching...
No Matches
Classes | Macros
symtab2gb_parse_options.h File Reference
#include <util/parse_options.h>
+ Include dependency graph for symtab2gb_parse_options.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

 

Macros

 
 
 

Macro Definition Documentation

◆  SYMTAB2GB_GOTO_FUNCTIONS_OPT

#define SYMTAB2GB_GOTO_FUNCTIONS_OPT   "goto-functions"

Definition at line 15 of file symtab2gb_parse_options.h.

◆  SYMTAB2GB_OPTIONS

#define SYMTAB2GB_OPTIONS
Value:
"(verbosity):" \
#define SYMTAB2GB_OUT_FILE_OPT
#define SYMTAB2GB_GOTO_FUNCTIONS_OPT

Definition at line 19 of file symtab2gb_parse_options.h.

◆  SYMTAB2GB_OUT_FILE_OPT

#define SYMTAB2GB_OUT_FILE_OPT   "out"

Definition at line 14 of file symtab2gb_parse_options.h.

AltStyle によって変換されたページ (->オリジナル) /