LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/preprocessing/passes Hit Total Coverage
Test: coverage.info Lines: 4251 5027 84.6 %
Date: 2026-02-22 11:44:16 Functions: 197 206 95.6 %
Branches: 2693 4442 60.6 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
ite_simp.cpp
38.2%38.2%
 38.2 % 50 / 131 83.3 % 5 / 6 25.0 % 21 / 84
normalize.cpp
65.8%65.8%
 65.8 % 289 / 439 88.9 % 16 / 18 54.6 % 143 / 262
miplib_trick.cpp
66.9%66.9%
 66.9 % 251 / 375 87.5 % 7 / 8 47.4 % 162 / 342
ff_disjunctive_bit.cpp
68.8%68.8%
 68.8 % 11 / 16 100.0 % 2 / 2 50.0 % 3 / 6
nl_ext_purify.cpp
71.7%71.7%
 71.7 % 43 / 60 100.0 % 3 / 3 60.0 % 30 / 50
global_negate.cpp
74.0%74.0%
 74.0 % 37 / 50 100.0 % 3 / 3 55.9 % 19 / 34
pseudo_boolean_processor.cpp
75.5%75.5%
 75.5 % 154 / 204 100.0 % 17 / 17 44.9 % 92 / 205
bv_intro_pow2.cpp
75.7%75.7%
 75.7 % 56 / 74 100.0 % 5 / 5 49.0 % 24 / 49
int_to_bv.cpp
78.1%78.1%
 78.1 % 132 / 169 85.7 % 6 / 7 57.0 % 90 / 158
learned_rewrite.cpp
81.4%81.4%
 81.4 % 219 / 269 71.4 % 5 / 7 64.5 % 169 / 262
unconstrained_simplifier.cpp
83.9%83.9%
 83.9 % 348 / 415 100.0 % 7 / 7 63.9 % 282 / 441
sygus_inference.cpp
86.3%86.3%
 86.3 % 164 / 190 100.0 % 3 / 3 61.2 % 98 / 160
synth_rew_rules.cpp
88.0%88.0%
 88.0 % 221 / 251 75.0 % 3 / 4 64.1 % 132 / 206
bv_gauss.cpp
89.5%89.5%
 89.5 % 334 / 373 100.0 % 8 / 8 62.7 % 287 / 458
rewrite.cpp
92.3%92.3%
 92.3 % 12 / 13 100.0 % 2 / 2 80.0 % 8 / 10
sort_infer.cpp
93.9%93.9%
 93.9 % 31 / 33 100.0 % 2 / 2 75.0 % 12 / 16
real_to_int.cpp
94.3%94.3%
 94.3 % 116 / 123 100.0 % 3 / 3 67.4 % 89 / 132
fun_def_fmf.cpp
94.7%94.7%
 94.7 % 248 / 262 100.0 % 7 / 7 71.4 % 150 / 210
non_clausal_simp.cpp
95.0%95.0%
 95.0 % 208 / 219 100.0 % 6 / 6 55.1 % 145 / 263
bool_to_bv.cpp
95.3%95.3%
 95.3 % 182 / 191 100.0 % 12 / 12 69.7 % 108 / 155
apply_substs.cpp
95.5%95.5%
 95.5 % 21 / 22 100.0 % 2 / 2 66.7 % 8 / 12
bv_eager_atoms.cpp
95.8%95.8%
 95.8 % 23 / 24 85.7 % 6 / 7 100.0 % 10 / 10
strings_eager_pp.cpp
95.8%95.8%
 95.8 % 23 / 24 100.0 % 2 / 2 71.4 % 10 / 14
bv_to_bool.cpp
96.5%96.5%
 96.5 % 165 / 171 100.0 % 15 / 15 54.5 % 96 / 176
sep_skolem_emp.cpp
96.6%96.6%
 96.6 % 57 / 59 100.0 % 3 / 3 64.3 % 27 / 42
ho_elim.cpp
97.6%97.6%
 97.6 % 360 / 369 100.0 % 7 / 7 65.1 % 185 / 284
ackermann.cpp
97.6%97.6%
 97.6 % 122 / 125 100.0 % 9 / 9 69.1 % 65 / 94
ff_bitsum.cpp
98.4%98.4%
 98.4 % 62 / 63 100.0 % 4 / 4 71.2 % 37 / 52
foreign_theory_rewrite.cpp
98.6%98.6%
 98.6 % 70 / 71 100.0 % 6 / 6 63.8 % 44 / 69
pseudo_boolean_processor.h
100.0%
 100.0 % 2 / 2 100.0 % 1 / 1 62.5 % 5 / 8
normalize.h
100.0%
 100.0 % 4 / 4 100.0 % 2 / 2 - 0 / 0
extended_rewriter_pass.cpp
100.0%
 100.0 % 16 / 16 100.0 % 2 / 2 100.0 % 12 / 12
theory_preprocess.cpp
100.0%
 100.0 % 19 / 19 100.0 % 2 / 2 100.0 % 14 / 14
ite_removal.cpp
100.0%
 100.0 % 20 / 20 100.0 % 2 / 2 100.0 % 8 / 8
quantifiers_preprocess.cpp
100.0%
 100.0 % 21 / 21 100.0 % 2 / 2 87.5 % 14 / 16
static_learning.cpp
100.0%
 100.0 % 32 / 32 100.0 % 3 / 3 100.0 % 16 / 16
bv_to_int.cpp
100.0%
 100.0 % 43 / 43 100.0 % 4 / 4 73.1 % 19 / 26
static_rewrite.cpp
100.0%
 100.0 % 85 / 85 100.0 % 3 / 3 68.6 % 59 / 86

Generated by: LCOV version 1.14