cprover
|
Public Attributes | |
goto_tracet | goto_trace |
std::vector< irep_idt > | covered_goals |
Definition at line 103 of file bmc_cover.cpp.
std::vector<irep_idt> bmc_covert::testt::covered_goals |
Definition at line 106 of file bmc_cover.cpp.
Referenced by bmc_covert::satisfying_assignment().
goto_tracet bmc_covert::testt::goto_trace |
Definition at line 105 of file bmc_cover.cpp.
Referenced by bmc_covert::satisfying_assignment().