14#ifndef CPROVER_GOTO_CC_ARMCC_MODE_H
15#define CPROVER_GOTO_CC_ARMCC_MODE_H
A special command line object to mimic ARM's armcc.
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
armcc_modet(armcc_cmdlinet &_armcc_cmdline, const std::string &_base_name)
gcc_message_handlert message_handler
void help_mode() final
display command line help
Command line interpretation for goto-cc.