cprover
|
Go to the source code of this file.
Variables | |
const char * | CBMC_VERSION ="5.10 (n/a)" |
const char* CBMC_VERSION ="5.10 (n/a)" |
Definition at line 1 of file version.cpp.
Referenced by compilet::add_compiler_specific_defines(), as_modet::doit(), mmcc_parse_optionst::doit(), gcc_modet::doit(), clobber_parse_optionst::doit(), jdiff_parse_optionst::doit(), goto_diff_parse_optionst::doit(), cbmc_parse_optionst::doit(), jbmc_parse_optionst::doit(), goto_instrument_parse_optionst::doit(), janalyzer_parse_optionst::doit(), goto_analyzer_parse_optionst::doit(), cbmc_solverst::get_smt2(), mmcc_parse_optionst::help(), goto_cc_modet::help(), clobber_parse_optionst::help(), jdiff_parse_optionst::help(), goto_diff_parse_optionst::help(), cbmc_parse_optionst::help(), jbmc_parse_optionst::help(), goto_instrument_parse_optionst::help(), janalyzer_parse_optionst::help(), and goto_analyzer_parse_optionst::help().