14#ifndef CPROVER_GOTO_CC_MS_LINK_MODE_H
15#define CPROVER_GOTO_CC_MS_LINK_MODE_H
goto_cc_modet(goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &)
constructor
ms_link_modet(goto_cc_cmdlinet &)
cl_message_handlert message_handler
void help_mode() final
display command line help
Command line interpretation for goto-cc.