CBMC
Public Member Functions | Public Attributes | List of all members
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, goto_programt::target_less_than > conditions
 

Detailed Description

Definition at line 77 of file symex_coverage.cpp.

Constructor & Destructor Documentation

◆ coverage_linet()

goto_program_coverage_recordt::coverage_linet::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_programt::target_less_than> goto_program_coverage_recordt::coverage_linet::conditions

Definition at line 88 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: