32 std::cout << CBMC_VERSION <<
'\n';
44 std::cerr <<
"failed to open `" <<
cmdline.
args[0] <<
"'\n";
52 return convert(std::cin,
"stdin");
60 catch(
const char *error)
62 std::cerr << error <<
'\n';
65 catch(
const std::string &error)
67 std::cerr << error <<
'\n';
76 const std::string &
file)
86 std::cerr <<
"parse error, giving up\n";
99 std::cout <<
'\n' <<
banner_string(
"MMCC", CBMC_VERSION) <<
'\n' 101 " Copyright (C) 2015-2015\n" 105 " mmcc [-?] [-h] [--help] show help\n" 106 " mmcc file.cat convert given source file\n" 107 " 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
mmcc Command Line Option Processing
virtual void usage_error()
goto_programt coverage_criteriont message_handlert & message_handler