LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/rewriter Hit Total Coverage
Test: coverage.info Lines: 2381 2576 92.4 %
Date: 2026-10-04 10:53:45 Functions: 85 100 85.0 %
Branches: 1451 2407 60.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
basic_rewrite_rcons.cpp
92.4%92.4%
 92.4 % 1101 / 1192 90.3 % 28 / 31 54.2 % 597 / 1101
basic_rewrite_rcons.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
rewrite_db.cpp
80.0%80.0%
 80.0 % 72 / 90 66.7 % 6 / 9 53.6 % 45 / 84
rewrite_db.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
rewrite_db_proof_cons.cpp
96.0%96.0%
 96.0 % 884 / 921 100.0 % 19 / 19 65.5 % 647 / 988
rewrite_db_proof_cons.h
100.0%
 100.0 % 11 / 11 100.0 % 4 / 4 100.0 % 4 / 4
rewrite_db_term_process.cpp
99.4%99.4%
 99.4 % 164 / 165 100.0 % 10 / 10 92.5 % 74 / 80
rewrite_proof_rule.cpp
84.3%84.3%
 84.3 % 145 / 172 70.0 % 14 / 20 62.7 % 84 / 134
rewrite_proof_rule.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
rewrite_proof_status.cpp
0.0%
 0.0 % 0 / 21 0.0 % 0 / 2 0.0 % 0 / 16

Generated by: LCOV version 1.14