LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/rewriter Hit Total Coverage
Test: coverage.info Lines: 2870 3106 92.4 %
Date: 2026-02-07 12:26:33 Functions: 89 101 88.1 %
Branches: 1633 2881 56.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
92.5%92.5%
 92.5 % 1784 / 1929 95.1 % 39 / 41 52.6 % 950 / 1805
basic_rewrite_rcons.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
rewrite_db.cpp
79.5%79.5%
 79.5 % 70 / 88 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.3%96.3%
 96.3 % 778 / 808 100.0 % 15 / 15 63.8 % 535 / 838
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
85.9%85.9%
 85.9 % 128 / 149 78.9 % 15 / 19 64.4 % 67 / 104
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