LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/rewriter Hit Total Coverage
Test: coverage.info Lines: 1162 1306 89.0 %
Date: 2024-09-27 12:14:44 Functions: 56 67 83.6 %
Branches: 688 1197 57.5 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
basic_rewrite_rcons.cpp
85.2%85.2%
85.2 % 260 / 305 91.7 % 11 / 12 49.7 % 152 / 306
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
95.3%95.3%
95.3 % 651 / 683 100.0 % 13 / 13 60.7 % 419 / 690
rewrite_db_proof_cons.h
100.0%
100.0 % 10 / 10 100.0 % 4 / 4 100.0 % 4 / 4
rewrite_db_term_process.cpp
98.7%98.7%
98.7 % 76 / 77 100.0 % 6 / 6 82.4 % 28 / 34
rewrite_proof_rule.cpp
75.2%75.2%
75.2 % 91 / 121 76.5 % 13 / 17 58.5 % 48 / 82
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