LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith Hit Total Coverage
Test: coverage.info Lines: 3331 4078 81.7 %
Date: 2026-08-23 10:37:48 Functions: 272 323 84.2 %
Branches: 2197 3645 60.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
arith_evaluator.cpp
100.0%
 100.0 % 11 / 11 100.0 % 1 / 1 100.0 % 6 / 6
arith_ite_utils.cpp
9.1%9.1%
 9.1 % 29 / 318 26.3 % 5 / 19 6.9 % 10 / 144
arith_msum.cpp
91.6%91.6%
 91.6 % 174 / 190 91.7 % 11 / 12 70.2 % 160 / 228
arith_poly_norm.cpp
91.5%91.5%
 91.5 % 345 / 377 90.9 % 20 / 22 70.1 % 248 / 354
arith_preprocess.cpp
21.4%21.4%
 21.4 % 6 / 28 50.0 % 2 / 4 0.0 % 0 / 8
arith_preprocess.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
arith_proof_rcons.cpp
94.7%94.7%
 94.7 % 179 / 189 77.8 % 7 / 9 58.9 % 132 / 224
arith_proof_utilities.cpp
95.1%95.1%
 95.1 % 98 / 103 100.0 % 7 / 7 61.9 % 73 / 118
arith_rewriter.cpp
93.6%93.6%
 93.6 % 854 / 912 97.4 % 37 / 38 66.5 % 621 / 934
arith_subs.cpp
97.3%97.3%
 97.3 % 73 / 75 100.0 % 4 / 4 69.6 % 64 / 92
arith_subs.h
100.0%
 100.0 % 9 / 9 100.0 % 3 / 3 100.0 % 4 / 4
arith_utilities.cpp
85.9%85.9%
 85.9 % 165 / 192 95.0 % 19 / 20 55.1 % 109 / 198
arith_utilities.h
65.6%65.6%
 65.6 % 61 / 93 92.9 % 13 / 14 51.9 % 27 / 52
bound_inference.cpp
72.5%72.5%
 72.5 % 100 / 138 72.7 % 8 / 11 66.9 % 85 / 127
branch_and_bound.cpp
92.4%92.4%
 92.4 % 73 / 79 100.0 % 3 / 3 50.0 % 21 / 42
branch_and_bound.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
delta_rational.cpp
48.1%48.1%
 48.1 % 26 / 54 12.5 % 1 / 8 35.7 % 25 / 70
delta_rational.h
86.5%86.5%
 86.5 % 77 / 89 93.3 % 28 / 30 64.7 % 22 / 34
equality_solver.cpp
85.3%85.3%
 85.3 % 64 / 75 90.9 % 10 / 11 52.6 % 20 / 38
equality_solver.h
100.0%
 100.0 % 6 / 6 100.0 % 6 / 6 - 0 / 0
inference_manager.cpp
88.4%88.4%
 88.4 % 61 / 69 100.0 % 14 / 14 57.1 % 24 / 42
operator_elim.cpp
97.4%97.4%
 97.4 % 302 / 310 100.0 % 8 / 8 65.9 % 139 / 211
operator_elim.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
pp_rewrite_eq.cpp
91.9%91.9%
 91.9 % 34 / 37 100.0 % 3 / 3 53.1 % 17 / 32
pp_rewrite_eq.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
proof_checker.cpp
77.0%77.0%
 77.0 % 198 / 257 100.0 % 3 / 3 50.8 % 157 / 309
rewrites.cpp
87.5%87.5%
 87.5 % 21 / 24 100.0 % 2 / 2 88.9 % 16 / 18
theory_arith.cpp
86.7%86.7%
 86.7 % 235 / 271 97.0 % 32 / 33 66.7 % 136 / 204
theory_arith.h
50.0%50.0%
 50.0 % 1 / 2 50.0 % 1 / 2 - 0 / 0
theory_arith_type_rules.cpp
68.5%68.5%
 68.5 % 89 / 130 60.0 % 12 / 20 50.0 % 63 / 126
type_enumerator.h
100.0%
 100.0 % 36 / 36 100.0 % 8 / 8 60.0 % 18 / 30

Generated by: LCOV version 1.14