cprover
|
Go to the source code of this file.
Macros | |
#define | CBMC_VERSION "5.8" |
#define CBMC_VERSION "5.8" |
Definition at line 4 of file version.h.
Referenced by compilet::add_compiler_specific_defines(), as_modet::doit(), gcc_modet::doit(), mmcc_parse_optionst::doit(), goto_diff_parse_optionst::doit(), clobber_parse_optionst::doit(), goto_analyzer_parse_optionst::doit(), symex_parse_optionst::doit(), cbmc_parse_optionst::doit(), goto_instrument_parse_optionst::doit(), cbmc_solverst::get_smt1(), cbmc_solverst::get_smt2(), mmcc_parse_optionst::help(), goto_cc_modet::help(), goto_diff_parse_optionst::help(), clobber_parse_optionst::help(), goto_analyzer_parse_optionst::help(), symex_parse_optionst::help(), cbmc_parse_optionst::help(), and goto_instrument_parse_optionst::help().