LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith Hit Total Coverage
Test: coverage.info Lines: 2972 3698 80.4 %
Date: 2026-01-21 12:59:26 Functions: 261 314 83.1 %
Branches: 1901 3217 59.1 %

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.3%9.3%
 9.3 % 26 / 281 26.3 % 5 / 19 8.1 % 10 / 124
arith_msum.cpp
92.0%92.0%
 92.0 % 160 / 174 90.9 % 10 / 11 69.8 % 148 / 212
arith_poly_norm.cpp
91.1%91.1%
 91.1 % 317 / 348 90.9 % 20 / 22 69.9 % 242 / 346
arith_preprocess.cpp
22.2%22.2%
 22.2 % 6 / 27 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.5%94.5%
 94.5 % 154 / 163 75.0 % 6 / 8 58.7 % 101 / 172
arith_proof_utilities.cpp
92.9%92.9%
 92.9 % 52 / 56 100.0 % 4 / 4 44.7 % 34 / 76
arith_rewriter.cpp
89.8%89.8%
 89.8 % 738 / 822 94.6 % 35 / 37 64.0 % 504 / 787
arith_subs.cpp
98.6%98.6%
 98.6 % 70 / 71 100.0 % 4 / 4 70.7 % 65 / 92
arith_subs.h
100.0%
 100.0 % 9 / 9 100.0 % 3 / 3 100.0 % 4 / 4
arith_utilities.cpp
85.2%85.2%
 85.2 % 155 / 182 94.7 % 18 / 19 55.3 % 104 / 188
arith_utilities.h
65.9%65.9%
 65.9 % 60 / 91 92.9 % 13 / 14 51.9 % 27 / 52
bound_inference.cpp
70.3%70.3%
 70.3 % 90 / 128 72.7 % 8 / 11 65.8 % 73 / 111
branch_and_bound.cpp
89.9%89.9%
 89.9 % 62 / 69 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
49.0%49.0%
 49.0 % 25 / 51 12.5 % 1 / 8 35.3 % 24 / 68
delta_rational.h
87.4%87.4%
 87.4 % 83 / 95 93.5 % 29 / 31 64.7 % 22 / 34
equality_solver.cpp
84.1%84.1%
 84.1 % 58 / 69 90.9 % 10 / 11 52.6 % 20 / 38
equality_solver.h
100.0%
 100.0 % 5 / 5 100.0 % 6 / 6 - 0 / 0
inference_manager.cpp
88.7%88.7%
 88.7 % 63 / 71 100.0 % 14 / 14 57.9 % 22 / 38
operator_elim.cpp
96.4%96.4%
 96.4 % 270 / 280 100.0 % 8 / 8 67.4 % 118 / 175
operator_elim.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
pp_rewrite_eq.cpp
100.0%
 100.0 % 19 / 19 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
75.6%75.6%
 75.6 % 180 / 238 100.0 % 3 / 3 48.7 % 132 / 271
rewrites.cpp
87.5%87.5%
 87.5 % 21 / 24 100.0 % 2 / 2 88.9 % 16 / 18
theory_arith.cpp
86.6%86.6%
 86.6 % 214 / 247 96.8 % 30 / 31 65.2 % 129 / 198
theory_arith.h
66.7%66.7%
 66.7 % 2 / 3 50.0 % 1 / 2 - 0 / 0
theory_arith_type_rules.cpp
66.1%66.1%
 66.1 % 82 / 124 55.0 % 11 / 20 47.8 % 54 / 113
type_enumerator.h
100.0%
 100.0 % 36 / 36 100.0 % 8 / 8 61.5 % 16 / 26

Generated by: LCOV version 1.14