CBMC
|
A special command line object for GNU Assembler. More...
Go to the source code of this file.
Variables | |
const char * | goto_as_options_with_argument [] |
const char * | as_options_without_argument [] |
const char * | as_options_with_argument [] |
A special command line object for GNU Assembler.
Definition in file as_cmdline.cpp.
const char* as_options_with_argument[] |
Definition at line 65 of file as_cmdline.cpp.
const char* as_options_without_argument[] |
Definition at line 29 of file as_cmdline.cpp.
const char* goto_as_options_with_argument[] |
Definition at line 20 of file as_cmdline.cpp.