Go to the documentation of this file.
14 #ifndef CPROVER_GOTO_CC_GOTO_CC_MODE_H
15 #define CPROVER_GOTO_CC_GOTO_CC_MODE_H
24 int main(
int argc,
const char **argv);
32 const std::string &_base_name,
42 #endif // CPROVER_GOTO_CC_GOTO_CC_MODE_H
Class that provides messages with a built-in verbosity 'level'.
void register_languages()
~goto_cc_modet()
constructor
const std::string base_name
virtual void help_mode()=0
Command line interpretation for goto-cc.
virtual void usage_error()
prints a message informing the user about incorrect options
goto_cc_cmdlinet & cmdline
goto_cc_modet(goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &)
constructor
int main(int argc, const char **argv)
starts the compiler
void help()
display command line help