45 std::cerr <<
"failed to open `" <<
cmdline.
args[0] <<
"'\n";
53 return convert(std::cin,
"stdin");
61 catch(
const char *error)
63 std::cerr << error <<
'\n';
66 catch(
const std::string &error)
68 std::cerr << error <<
'\n';
77 const std::string &
file)
87 std::cerr <<
"parse error, giving up\n";
102 " Copyright (C) 2015-2015\n" 106 " mmcc [-?] [-h] [--help] show help\n" 107 " mmcc file.cat convert given source file\n" 108 " mmcc convert from stdin\n"
void mm2cpp(const irep_idt &model_name, const irept &instruction, std::ostream &out)
virtual void help()
display command line help
virtual bool isset(char option) const
void set_file(const irep_idt &file)
mmcc_parse_optionst(int argc, const char **argv)
int convert(std::istream &, const std::string &)
virtual void set_message_handler(message_handlert &_message_handler)
std::string banner_string(const std::string &front_end, const std::string &version)
virtual int doit()
invoke main modules
const char * CBMC_VERSION
mmcc Command Line Option Processing
virtual void usage_error()
goto_programt coverage_criteriont message_handlert & message_handler