LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith Hit Total Coverage
Test: coverage.info Lines: 3244 3979 81.5 %
Date: 2026-02-25 11:44:22 Functions: 262 314 83.4 %
Branches: 2088 3463 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
10.0%10.0%
 10.0 % 31 / 311 26.3 % 5 / 19 6.9 % 10 / 144
arith_msum.cpp
92.1%92.1%
 92.1 % 174 / 189 90.9 % 10 / 11 71.1 % 162 / 228
arith_poly_norm.cpp
91.5%91.5%
 91.5 % 343 / 375 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.9%94.9%
 94.9 % 169 / 178 75.0 % 6 / 8 61.4 % 124 / 202
arith_proof_utilities.cpp
93.5%93.5%
 93.5 % 58 / 62 100.0 % 4 / 4 47.5 % 38 / 80
arith_rewriter.cpp
93.7%93.7%
 93.7 % 843 / 900 97.3 % 36 / 37 67.3 % 602 / 894
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.8%85.8%
 85.8 % 163 / 190 94.7 % 18 / 19 55.2 % 107 / 194
arith_utilities.h
66.3%66.3%
 66.3 % 63 / 95 92.9 % 13 / 14 51.9 % 27 / 52
bound_inference.cpp
71.2%71.2%
 71.2 % 94 / 132 72.7 % 8 / 11 65.8 % 73 / 111
branch_and_bound.cpp
89.9%89.9%
 89.9 % 71 / 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
87.9%87.9%
 87.9 % 87 / 99 93.5 % 29 / 31 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
89.2%89.2%
 89.2 % 66 / 74 100.0 % 14 / 14 57.1 % 24 / 42
operator_elim.cpp
96.7%96.7%
 96.7 % 294 / 304 100.0 % 8 / 8 67.2 % 119 / 177
operator_elim.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
pp_rewrite_eq.cpp
100.0%
 100.0 % 21 / 21 100.0 % 2 / 2 50.0 % 9 / 18
pp_rewrite_eq.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
proof_checker.cpp
76.9%76.9%
 76.9 % 193 / 251 100.0 % 3 / 3 51.5 % 153 / 297
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 % 229 / 264 96.8 % 30 / 31 65.8 % 133 / 202
theory_arith.h
66.7%66.7%
 66.7 % 2 / 3 50.0 % 1 / 2 - 0 / 0
theory_arith_type_rules.cpp
66.9%66.9%
 66.9 % 87 / 130 55.0 % 11 / 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