CBMC
|
A special command line object for Bruce's C Compiler. More...
Go to the source code of this file.
Variables | |
const char * | goto_bcc_options_with_argument [] |
const char * | bcc_options_without_argument [] |
const char * | bcc_options_with_argument [] |
A special command line object for Bruce's C Compiler.
Definition in file bcc_cmdline.cpp.
const char* bcc_options_with_argument[] |
Definition at line 52 of file bcc_cmdline.cpp.
const char* bcc_options_without_argument[] |
Definition at line 30 of file bcc_cmdline.cpp.
const char* goto_bcc_options_with_argument[] |
Definition at line 20 of file bcc_cmdline.cpp.