CBMC
Public Member Functions | Public Attributes | List of all members
coverage_recordt Class Reference
+ Inheritance diagram for coverage_recordt:
+ Collaboration diagram for coverage_recordt:

Public Member Functions

 coverage_recordt (const std::string &node_id)
 

Public Attributes

xmlt xml
 
std::size_t lines_covered
 
std::size_t lines_total
 
std::size_t branches_covered
 
std::size_t branches_total
 

Detailed Description

Definition at line 31 of file symex_coverage.cpp.

Constructor & Destructor Documentation

◆ coverage_recordt()

coverage_recordt::coverage_recordt ( const std::string &  node_id)
inlineexplicit

Definition at line 34 of file symex_coverage.cpp.

Member Data Documentation

◆ branches_covered

std::size_t coverage_recordt::branches_covered

Definition at line 46 of file symex_coverage.cpp.

◆ branches_total

std::size_t coverage_recordt::branches_total

Definition at line 47 of file symex_coverage.cpp.

◆ lines_covered

std::size_t coverage_recordt::lines_covered

Definition at line 44 of file symex_coverage.cpp.

◆ lines_total

std::size_t coverage_recordt::lines_total

Definition at line 45 of file symex_coverage.cpp.

◆ xml

xmlt coverage_recordt::xml

Definition at line 43 of file symex_coverage.cpp.

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