LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/preprocessing/passes Hit Total Coverage
Test: coverage.info Lines: 4360 5121 85.1 %
Date: 2026-04-25 10:46:27 Functions: 208 217 95.9 %
Branches: 2782 4574 60.8 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
ackermann.cpp
97.7%97.7%
 97.7 % 128 / 131 100.0 % 9 / 9 66.7 % 68 / 102
apply_substs.cpp
95.5%95.5%
 95.5 % 21 / 22 100.0 % 2 / 2 66.7 % 8 / 12
bool_to_bv.cpp
96.3%96.3%
 96.3 % 181 / 188 100.0 % 13 / 13 69.8 % 118 / 169
bv_eager_atoms.cpp
95.8%95.8%
 95.8 % 23 / 24 85.7 % 6 / 7 100.0 % 10 / 10
bv_gauss.cpp
89.6%89.6%
 89.6 % 343 / 383 100.0 % 8 / 8 62.7 % 287 / 458
bv_intro_pow2.cpp
75.7%75.7%
 75.7 % 56 / 74 100.0 % 5 / 5 49.0 % 24 / 49
bv_to_bool.cpp
97.7%97.7%
 97.7 % 167 / 171 100.0 % 18 / 18 56.2 % 99 / 176
bv_to_int.cpp
100.0%
 100.0 % 45 / 45 100.0 % 4 / 4 73.1 % 19 / 26
extended_rewriter_pass.cpp
100.0%
 100.0 % 16 / 16 100.0 % 2 / 2 100.0 % 12 / 12
ff_bitsum.cpp
98.4%98.4%
 98.4 % 62 / 63 100.0 % 4 / 4 71.2 % 37 / 52
ff_disjunctive_bit.cpp
68.8%68.8%
 68.8 % 11 / 16 100.0 % 2 / 2 50.0 % 3 / 6
foreign_theory_rewrite.cpp
98.6%98.6%
 98.6 % 70 / 71 100.0 % 6 / 6 63.8 % 44 / 69
fun_def_fmf.cpp
94.7%94.7%
 94.7 % 248 / 262 100.0 % 7 / 7 71.4 % 150 / 210
global_negate.cpp
75.5%75.5%
 75.5 % 37 / 49 100.0 % 3 / 3 55.9 % 19 / 34
ho_elim.cpp
97.5%97.5%
 97.5 % 427 / 438 100.0 % 10 / 10 66.1 % 238 / 360
int_to_bv.cpp
78.7%78.7%
 78.7 % 137 / 174 87.5 % 7 / 8 57.0 % 90 / 158
ite_removal.cpp
100.0%
 100.0 % 20 / 20 100.0 % 2 / 2 100.0 % 8 / 8
ite_simp.cpp
37.9%37.9%
 37.9 % 50 / 132 83.3 % 5 / 6 25.0 % 21 / 84
learned_rewrite.cpp
86.6%86.6%
 86.6 % 240 / 277 71.4 % 5 / 7 64.0 % 187 / 292
miplib_trick.cpp
66.8%66.8%
 66.8 % 250 / 374 87.5 % 7 / 8 47.4 % 162 / 342
nl_ext_purify.cpp
71.7%71.7%
 71.7 % 43 / 60 100.0 % 3 / 3 60.0 % 30 / 50
non_clausal_simp.cpp
95.0%95.0%
 95.0 % 208 / 219 100.0 % 6 / 6 55.1 % 145 / 263
normalize.cpp
65.8%65.8%
 65.8 % 289 / 439 88.9 % 16 / 18 54.6 % 143 / 262
normalize.h
100.0%
 100.0 % 4 / 4 100.0 % 2 / 2 - 0 / 0
pseudo_boolean_processor.cpp
75.5%75.5%
 75.5 % 154 / 204 100.0 % 17 / 17 44.9 % 92 / 205
pseudo_boolean_processor.h
100.0%
 100.0 % 2 / 2 100.0 % 1 / 1 62.5 % 5 / 8
quantifiers_preprocess.cpp
100.0%
 100.0 % 22 / 22 100.0 % 2 / 2 87.5 % 14 / 16
real_to_int.cpp
94.3%94.3%
 94.3 % 116 / 123 100.0 % 3 / 3 67.4 % 89 / 132
rewrite.cpp
92.3%92.3%
 92.3 % 12 / 13 100.0 % 2 / 2 80.0 % 8 / 10
sep_skolem_emp.cpp
96.6%96.6%
 96.6 % 56 / 58 100.0 % 3 / 3 63.0 % 29 / 46
sort_infer.cpp
93.9%93.9%
 93.9 % 31 / 33 100.0 % 2 / 2 75.0 % 12 / 16
static_learning.cpp
100.0%
 100.0 % 32 / 32 100.0 % 3 / 3 100.0 % 16 / 16
static_rewrite.cpp
100.0%
 100.0 % 85 / 85 100.0 % 3 / 3 68.6 % 59 / 86
strings_eager_pp.cpp
95.8%95.8%
 95.8 % 23 / 24 100.0 % 2 / 2 71.4 % 10 / 14
sygus_inference.cpp
86.3%86.3%
 86.3 % 164 / 190 100.0 % 3 / 3 61.2 % 98 / 160
synth_rew_rules.cpp
88.4%88.4%
 88.4 % 220 / 249 75.0 % 3 / 4 64.1 % 132 / 206
theory_preprocess.cpp
100.0%
 100.0 % 19 / 19 100.0 % 2 / 2 100.0 % 14 / 14
unconstrained_simplifier.cpp
83.9%83.9%
 83.9 % 348 / 415 100.0 % 10 / 10 63.9 % 282 / 441

Generated by: LCOV version 1.14