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:

• /home/runner/work/cbmc/cbmc/src/goto-checker/symex_coverage.cpp