LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/bv Hit Total Coverage
Test: coverage.info Lines: 3587 4186 85.7 %
Date: 2024-11-03 11:40:22 Functions: 610 679 89.8 %
Branches: 1954 3238 60.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
bv_solver.h
70.8%70.8%
 70.8 % 17 / 24 73.7 % 14 / 19 - 0 / 0
bv_solver_bitblast.cpp
95.2%95.2%
 95.2 % 158 / 166 100.0 % 17 / 17 68.6 % 96 / 140
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 % 77 / 79 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
94.6%94.6%
 94.6 % 562 / 594 90.3 % 28 / 31 56.7 % 223 / 393
proof_checker.cpp
79.2%79.2%
 79.2 % 19 / 24 100.0 % 3 / 3 38.1 % 16 / 42
theory_bv.cpp
96.2%96.2%
 96.2 % 203 / 211 100.0 % 26 / 26 62.0 % 119 / 192
theory_bv.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
theory_bv_rewrite_rules.h
20.5%20.5%
 20.5 % 46 / 224 92.3 % 168 / 182 17.6 % 39 / 221
theory_bv_rewrite_rules_constant_evaluation.h
86.9%86.9%
 86.9 % 133 / 153 91.7 % 33 / 36 51.5 % 103 / 200
theory_bv_rewrite_rules_core.h
100.0%
 100.0 % 148 / 148 100.0 % 20 / 20 81.5 % 75 / 92
theory_bv_rewrite_rules_normalization.h
85.9%85.9%
 85.9 % 553 / 644 92.7 % 38 / 41 70.7 % 443 / 627
theory_bv_rewrite_rules_operator_elimination.h
100.0%
 100.0 % 382 / 382 100.0 % 56 / 56 59.6 % 56 / 94
theory_bv_rewrite_rules_simplification.h
91.2%91.2%
 91.2 % 685 / 751 93.3 % 83 / 89 67.0 % 463 / 691
theory_bv_rewriter.cpp
98.2%98.2%
 98.2 % 333 / 339 98.2 % 55 / 56 88.1 % 104 / 118
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
57.0%57.0%
 57.0 % 106 / 186 70.7 % 29 / 41 32.6 % 45 / 138
theory_bv_utils.h
36.4%36.4%
 36.4 % 4 / 11 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