cprover
|
Public Attributes | |
goto_tracet | goto_trace |
std::vector< irep_idt > | covered_goals |
Definition at line 101 of file bmc_cover.cpp.
std::vector<irep_idt> bmc_covert::testt::covered_goals |
Definition at line 104 of file bmc_cover.cpp.
goto_tracet bmc_covert::testt::goto_trace |
Definition at line 103 of file bmc_cover.cpp.