14 #ifndef CPROVER_GOTO_CC_ARMCC_MODE_H 15 #define CPROVER_GOTO_CC_ARMCC_MODE_H 30 const std::string &_base_name):
41 #endif // CPROVER_GOTO_CC_ARMCC_MODE_H gcc_message_handlert message_handler
armcc_modet(armcc_cmdlinet &_armcc_cmdline, const std::string &_base_name)
Command line interpretation for goto-cc.
void help_mode() final
display command line help
A special command line object to mimic ARM's armcc.