cprover
|
Go to the source code of this file.
Variables | |
static const char * | options_no_arg [] |
parses the command line options into a cmdlinet More... | |
static const char * | options_with_prefix [] |
static const char * | options_with_arg [] |
A special command line object to mimic ARM's armcc
Definition in file armcc_cmdline.cpp.
|
static |
parses the command line options into a cmdlinet
Definition at line 23 of file armcc_cmdline.cpp.
|
static |
Definition at line 248 of file armcc_cmdline.cpp.
|
static |
Definition at line 198 of file armcc_cmdline.cpp.