bmc_covert::testt Struct Reference

Collaboration diagram for bmc_covert::testt:

Public Attributes
goto_tracet	goto_trace
std::vector< irep_idt >	covered_goals

Detailed Description

Definition at line 100 of file bmc_cover.cpp.

Member Data Documentation

covered_goals

std::vector<irep_idt> bmc_covert::testt::covered_goals

Definition at line 103 of file bmc_cover.cpp.

Referenced by bmc_covert::satisfying_assignment().

goto_trace

goto_tracet bmc_covert::testt::goto_trace

Definition at line 102 of file bmc_cover.cpp.

Referenced by bmc_covert::satisfying_assignment().

---

The documentation for this struct was generated from the following file:

• cbmc/bmc_cover.cpp