cprover
|
Public Attributes | |
symex_target_equationt::SSA_stepst::iterator | step |
literalt | condition |
Definition at line 51 of file bmc_cover.cpp.
literalt bmc_covert::goalt::instancet::condition |
Definition at line 54 of file bmc_cover.cpp.
Referenced by bmc_covert::goalt::add_instance().
symex_target_equationt::SSA_stepst::iterator bmc_covert::goalt::instancet::step |
Definition at line 53 of file bmc_cover.cpp.
Referenced by bmc_covert::goalt::add_instance(), bmc_covert::get_test(), and bmc_covert::operator()().