cprover
coverage_recordt Class Reference
Inheritance diagram for coverage_recordt:
[legend]
Collaboration diagram for coverage_recordt:
[legend]

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 29 of file symex_coverage.cpp.

Constructor & Destructor Documentation

§ coverage_recordt()

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

Definition at line 32 of file symex_coverage.cpp.

Referenced by symex_coveraget::compute_overall_coverage().

Member Data Documentation

§ branches_covered

§ branches_total

§ lines_covered

§ lines_total

§ xml


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