LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith Hit Total Coverage
Test: coverage.info Lines: 3243 3992 81.2 %
Date: 2026-04-21 10:32:34 Functions: 266 318 83.6 %
Branches: 2139 3561 60.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.1%9.1%
 9.1 % 29 / 318 26.3 % 5 / 19 6.9 % 10 / 144
arith_msum.cpp
92.1%92.1%
 92.1 % 175 / 190 91.7 % 11 / 12 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.1%94.1%
 94.1 % 174 / 185 77.8 % 7 / 9 61.1 % 132 / 216
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 % 844 / 901 97.3 % 36 / 37 66.9 % 614 / 918
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
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
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
96.8%96.8%
 96.8 % 300 / 310 100.0 % 8 / 8 64.9 % 137 / 211
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 % 196 / 255 100.0 % 3 / 3 51.4 % 164 / 319
rewrites.cpp
87.5%87.5%
 87.5 % 21 / 24 100.0 % 2 / 2 88.9 % 16 / 18
theory_arith.cpp
86.1%86.1%
 86.1 % 230 / 267 97.0 % 32 / 33 65.8 % 133 / 202
theory_arith.h
50.0%50.0%
 50.0 % 1 / 2 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