14 #ifndef CPROVER_GOTO_CC_MS_LINK_MODE_H 15 #define CPROVER_GOTO_CC_MS_LINK_MODE_H 34 #endif // CPROVER_GOTO_CC_MS_LINK_MODE_H
console_message_handlert message_handler
Compile and link source and object files.
void help_mode() final
display command line help
ms_link_modet(goto_cc_cmdlinet &)
Command line interpretation for goto-cc.