goto_program_coverage_recordt::coverage_linet Struct Reference
Collaboration diagram for goto_program_coverage_recordt::coverage_linet:Public Member Functions | |
| coverage_linet () | |
Public Attributes | |
| unsigned | hits |
| std::map< goto_programt::const_targett, coverage_conditiont > | conditions |
Detailed Description
Definition at line 77 of file symex_coverage.cpp.
Constructor & Destructor Documentation
◆ coverage_linet()
|
inline |
Definition at line 79 of file symex_coverage.cpp.
Member Data Documentation
◆ conditions
| std::map<goto_programt::const_targett, coverage_conditiont> goto_program_coverage_recordt::coverage_linet::conditions |
Definition at line 84 of file symex_coverage.cpp.
◆ hits
| unsigned goto_program_coverage_recordt::coverage_linet::hits |
Definition at line 83 of file symex_coverage.cpp.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-checker/symex_coverage.cpp
