14 #ifndef CPROVER_GOTO_CC_CW_MODE_H 15 #define CPROVER_GOTO_CC_CW_MODE_H 39 #endif // CPROVER_GOTO_CC_CW_MODE_H A special command line object for the gcc-like options.
cw_modet(gcc_cmdlinet &_gcc_cmdline, const std::string &_base_name)
virtual int doit()
does it.
virtual void help_mode()
display command line help
console_message_handlert message_handler
Command line interpretation for goto-cc.