cprover
|
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 |
Definition at line 29 of file symex_coverage.cpp.
|
inlineexplicit |
Definition at line 32 of file symex_coverage.cpp.
Referenced by symex_coveraget::compute_overall_coverage().
std::size_t coverage_recordt::branches_covered |
Definition at line 44 of file symex_coverage.cpp.
Referenced by symex_coveraget::build_cobertura(), goto_program_coverage_recordt::compute_coverage_lines(), symex_coveraget::compute_overall_coverage(), and goto_program_coverage_recordt::goto_program_coverage_recordt().
std::size_t coverage_recordt::branches_total |
Definition at line 45 of file symex_coverage.cpp.
Referenced by symex_coveraget::build_cobertura(), goto_program_coverage_recordt::compute_coverage_lines(), symex_coveraget::compute_overall_coverage(), and goto_program_coverage_recordt::goto_program_coverage_recordt().
std::size_t coverage_recordt::lines_covered |
Definition at line 42 of file symex_coverage.cpp.
Referenced by symex_coveraget::build_cobertura(), goto_program_coverage_recordt::compute_coverage_lines(), symex_coveraget::compute_overall_coverage(), and goto_program_coverage_recordt::goto_program_coverage_recordt().
std::size_t coverage_recordt::lines_total |
Definition at line 43 of file symex_coverage.cpp.
Referenced by symex_coveraget::build_cobertura(), goto_program_coverage_recordt::compute_coverage_lines(), symex_coveraget::compute_overall_coverage(), and goto_program_coverage_recordt::goto_program_coverage_recordt().
xmlt coverage_recordt::xml |
Definition at line 41 of file symex_coverage.cpp.
Referenced by symex_coveraget::build_cobertura(), symex_coveraget::compute_overall_coverage(), and goto_program_coverage_recordt::goto_program_coverage_recordt().