20 #define EX_SOFTWARE 70 31 const std::string &_base_name,
51 "* * Copyright (C) 2006-2018 * *\n" 52 "* * Daniel Kroening, Michael Tautschnig, * *\n" 53 "* * Christoph Wintersteiger * *\n" 61 " --verbosity # verbosity level\n" 62 " --function name set entry point to name\n" 63 " --native-compiler cmd command to invoke as preprocessor/compiler\n" 64 " --native-linker cmd command to invoke as linker\n" 65 " --native-assembler cmd command to invoke as assembler (goto-as only)\n" 66 " --print-rejected-preprocessed-source file\n" 67 " copy failing (preprocessed) source to file\n" 93 catch(
const std::string &e)
104 catch(
const std::bad_alloc &)
115 std::cerr <<
"Usage error!\n\n";
virtual int main(int argc, const char **argv)
starts the compiler
void register_languages()
static mstreamt & eom(mstreamt &m)
virtual void usage_error()
prints a message informing the user about incorrect options
goto_cc_cmdlinet & cmdline
virtual bool parse(int argc, const char **argv)=0
std::string banner_string(const std::string &front_end, const std::string &version)
virtual void help_mode()=0
const char * CBMC_VERSION
virtual void help()
display command line help
Command line interpretation for goto-cc.
~goto_cc_modet()
constructor
goto_cc_modet(goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &)
constructor