LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/bv Hit Total Coverage
Test: coverage.info Lines: 4012 4595 87.3 %
Date: 2026-01-22 12:22:00 Functions: 636 705 90.2 %
Branches: 2240 3673 61.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
bv_pp_assert.cpp
97.2%97.2%
 97.2 % 70 / 72 71.4 % 5 / 7 56.5 % 35 / 62
bv_solver.h
70.8%70.8%
 70.8 % 17 / 24 73.7 % 14 / 19 - 0 / 0
bv_solver_bitblast.cpp
95.3%95.3%
 95.3 % 164 / 172 100.0 % 17 / 17 69.0 % 98 / 142
bv_solver_bitblast.h
66.7%66.7%
 66.7 % 2 / 3 75.0 % 3 / 4 - 0 / 0
bv_solver_bitblast_internal.cpp
97.5%97.5%
 97.5 % 78 / 80 100.0 % 9 / 9 80.0 % 48 / 60
bv_solver_bitblast_internal.h
66.7%66.7%
 66.7 % 2 / 3 75.0 % 3 / 4 - 0 / 0
int_blaster.cpp
91.9%91.9%
 91.9 % 532 / 579 90.3 % 28 / 31 56.1 % 217 / 387
macro_rewrite_elaborator.cpp
91.7%91.7%
 91.7 % 233 / 254 90.0 % 9 / 10 54.7 % 139 / 254
proof_checker.cpp
78.3%78.3%
 78.3 % 54 / 69 100.0 % 3 / 3 42.9 % 42 / 98
theory_bv.cpp
94.8%94.8%
 94.8 % 181 / 191 100.0 % 26 / 26 64.0 % 105 / 164
theory_bv.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
theory_bv_rewrite_rules.h
23.3%23.3%
 23.3 % 44 / 189 93.5 % 173 / 185 19.8 % 38 / 192
theory_bv_rewrite_rules_constant_evaluation.h
88.8%88.8%
 88.8 % 143 / 161 91.7 % 33 / 36 52.5 % 105 / 200
theory_bv_rewrite_rules_core.h
99.3%99.3%
 99.3 % 150 / 151 100.0 % 20 / 20 81.5 % 75 / 92
theory_bv_rewrite_rules_normalization.h
92.4%92.4%
 92.4 % 595 / 644 97.6 % 40 / 41 72.2 % 453 / 627
theory_bv_rewrite_rules_operator_elimination.h
100.0%
 100.0 % 383 / 383 100.0 % 56 / 56 59.6 % 56 / 94
theory_bv_rewrite_rules_simplification.h
91.6%91.6%
 91.6 % 719 / 785 93.5 % 87 / 93 66.6 % 468 / 703
theory_bv_rewriter.cpp
98.4%98.4%
 98.4 % 381 / 387 98.2 % 56 / 57 85.2 % 196 / 230
theory_bv_type_rules.cpp
62.8%62.8%
 62.8 % 145 / 231 52.6 % 20 / 38 52.5 % 105 / 200
theory_bv_utils.cpp
53.6%53.6%
 53.6 % 103 / 192 69.0 % 29 / 42 29.7 % 41 / 138
theory_bv_utils.h
33.3%33.3%
 33.3 % 4 / 12 50.0 % 1 / 2 60.7 % 17 / 28
type_enumerator.h
100.0%
 100.0 % 12 / 12 100.0 % 4 / 4 100.0 % 2 / 2

Generated by: LCOV version 1.14