LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/bv Hit Total Coverage
Test: coverage.info Lines: 3551 4130 86.0 %
Date: 2024-08-29 11:49:29 Functions: 619 685 90.4 %
Branches: 1936 3204 60.4 %

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 % 79 / 81 100.0 % 10 / 10 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
96.1%96.1%
 96.1 % 513 / 534 96.4 % 27 / 28 57.6 % 217 / 377
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 % 205 / 213 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
21.1%21.1%
 21.1 % 46 / 218 93.0 % 173 / 186 18.1 % 39 / 215
theory_bv_rewrite_rules_constant_evaluation.h
87.6%87.6%
 87.6 % 134 / 153 91.7 % 33 / 36 52.0 % 104 / 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.3%98.3%
 98.3 % 339 / 345 98.3 % 59 / 60 86.8 % 92 / 106
theory_bv_type_rules.cpp
63.6%63.6%
 63.6 % 147 / 231 52.6 % 20 / 38 52.0 % 104 / 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