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.

Member Data Documentation

◆ branches_covered

◆ branches_total

◆ lines_covered

◆ lines_total

◆ xml


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