LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/rewriter Hit Total Coverage
Test: coverage.info Lines: 1645 1798 91.5 %
Date: 2025-01-07 12:38:26 Functions: 65 77 84.4 %
Branches: 925 1550 59.7 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
basic_rewrite_rcons.cpp
90.4%90.4%
 90.4 % 640 / 708 94.7 % 18 / 19 54.3 % 322 / 593
basic_rewrite_rcons.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
rewrite_db.cpp
79.8%79.8%
 79.8 % 71 / 89 66.7 % 6 / 9 54.4 % 37 / 68
rewrite_db.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
rewrite_db_proof_cons.cpp
96.5%96.5%
 96.5 % 717 / 743 100.0 % 15 / 15 62.7 % 465 / 742
rewrite_db_proof_cons.h
100.0%
 100.0 % 10 / 10 100.0 % 4 / 4 100.0 % 4 / 4
rewrite_db_term_process.cpp
99.0%99.0%
 99.0 % 96 / 97 100.0 % 6 / 6 87.0 % 40 / 46
rewrite_proof_rule.cpp
83.1%83.1%
 83.1 % 108 / 130 72.2 % 13 / 18 67.9 % 57 / 84
rewrite_proof_rule.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
rewrite_proof_status.cpp
0.0%
 0.0 % 0 / 18 0.0 % 0 / 2 0.0 % 0 / 13

Generated by: LCOV version 1.14