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