LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/rewriter Hit Total Coverage
Test: coverage.info Lines: 3083 3323 92.8 %
Date: 2026-03-03 11:42:59 Functions: 90 102 88.2 %
Branches: 1809 3152 57.4 %

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.8%92.8%
 92.8 % 1920 / 2068 95.2 % 40 / 42 52.8 % 1043 / 1976
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.5%96.5%
 96.5 % 826 / 856 100.0 % 15 / 15 66.1 % 607 / 918
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.1%99.1%
 99.1 % 111 / 112 100.0 % 6 / 6 87.5 % 42 / 48
rewrite_proof_rule.cpp
86.3%86.3%
 86.3 % 139 / 161 78.9 % 15 / 19 64.2 % 68 / 106
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