LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/preprocessing/passes Hit Total Coverage
Test: coverage.info Lines: 3923 4635 84.6 %
Date: 2026-02-04 12:23:02 Functions: 197 206 95.6 %
Branches: 2532 4214 60.1 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
ackermann.cpp
98.2%98.2%
 98.2 % 110 / 112 100.0 % 9 / 9 69.6 % 64 / 92
apply_substs.cpp
95.5%95.5%
 95.5 % 21 / 22 100.0 % 2 / 2 66.7 % 8 / 12
bool_to_bv.cpp
95.0%95.0%
 95.0 % 171 / 180 100.0 % 12 / 12 69.4 % 102 / 147
bv_eager_atoms.cpp
95.5%95.5%
 95.5 % 21 / 22 85.7 % 6 / 7 100.0 % 8 / 8
bv_gauss.cpp
89.8%89.8%
 89.8 % 309 / 344 100.0 % 8 / 8 62.4 % 272 / 436
bv_intro_pow2.cpp
77.3%77.3%
 77.3 % 51 / 66 100.0 % 5 / 5 49.0 % 24 / 49
bv_to_bool.cpp
96.8%96.8%
 96.8 % 151 / 156 100.0 % 15 / 15 54.5 % 96 / 176
bv_to_int.cpp
100.0%
 100.0 % 39 / 39 100.0 % 4 / 4 68.2 % 15 / 22
extended_rewriter_pass.cpp
100.0%
 100.0 % 15 / 15 100.0 % 2 / 2 100.0 % 10 / 10
ff_bitsum.cpp
98.1%98.1%
 98.1 % 53 / 54 100.0 % 4 / 4 71.2 % 37 / 52
ff_disjunctive_bit.cpp
71.4%71.4%
 71.4 % 10 / 14 100.0 % 2 / 2 50.0 % 3 / 6
foreign_theory_rewrite.cpp
98.4%98.4%
 98.4 % 62 / 63 100.0 % 6 / 6 59.7 % 37 / 62
fun_def_fmf.cpp
94.0%94.0%
 94.0 % 221 / 235 100.0 % 7 / 7 71.6 % 149 / 208
global_negate.cpp
76.1%76.1%
 76.1 % 35 / 46 100.0 % 3 / 3 55.9 % 19 / 34
ho_elim.cpp
97.6%97.6%
 97.6 % 326 / 334 100.0 % 7 / 7 65.2 % 184 / 282
int_to_bv.cpp
78.0%78.0%
 78.0 % 117 / 150 85.7 % 6 / 7 58.7 % 88 / 150
ite_removal.cpp
100.0%
 100.0 % 19 / 19 100.0 % 2 / 2 100.0 % 8 / 8
ite_simp.cpp
38.1%38.1%
 38.1 % 45 / 118 83.3 % 5 / 6 27.0 % 20 / 74
learned_rewrite.cpp
81.5%81.5%
 81.5 % 198 / 243 71.4 % 5 / 7 62.7 % 146 / 233
miplib_trick.cpp
66.9%66.9%
 66.9 % 242 / 362 87.5 % 7 / 8 46.4 % 143 / 308
nl_ext_purify.cpp
71.7%71.7%
 71.7 % 38 / 53 100.0 % 3 / 3 60.0 % 30 / 50
non_clausal_simp.cpp
94.7%94.7%
 94.7 % 196 / 207 100.0 % 6 / 6 53.2 % 134 / 252
normalize.cpp
67.2%67.2%
 67.2 % 270 / 402 88.9 % 16 / 18 55.9 % 143 / 256
normalize.h
100.0%
 100.0 % 4 / 4 100.0 % 2 / 2 - 0 / 0
pseudo_boolean_processor.cpp
75.8%75.8%
 75.8 % 147 / 194 100.0 % 17 / 17 44.7 % 88 / 197
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 % 18 / 18 100.0 % 2 / 2 80.0 % 8 / 10
real_to_int.cpp
95.4%95.4%
 95.4 % 104 / 109 100.0 % 3 / 3 68.0 % 87 / 128
rewrite.cpp
91.7%91.7%
 91.7 % 11 / 12 100.0 % 2 / 2 87.5 % 7 / 8
sep_skolem_emp.cpp
96.2%96.2%
 96.2 % 51 / 53 100.0 % 3 / 3 65.0 % 26 / 40
sort_infer.cpp
93.3%93.3%
 93.3 % 28 / 30 100.0 % 2 / 2 75.0 % 12 / 16
static_learning.cpp
100.0%
 100.0 % 30 / 30 100.0 % 3 / 3 100.0 % 14 / 14
static_rewrite.cpp
100.0%
 100.0 % 81 / 81 100.0 % 3 / 3 67.1 % 55 / 82
strings_eager_pp.cpp
95.2%95.2%
 95.2 % 20 / 21 100.0 % 2 / 2 87.5 % 7 / 8
sygus_inference.cpp
86.1%86.1%
 86.1 % 149 / 173 100.0 % 3 / 3 58.8 % 87 / 148
synth_rew_rules.cpp
87.9%87.9%
 87.9 % 204 / 232 75.0 % 3 / 4 63.4 % 128 / 202
theory_preprocess.cpp
100.0%
 100.0 % 18 / 18 100.0 % 2 / 2 100.0 % 8 / 8
unconstrained_simplifier.cpp
83.6%83.6%
 83.6 % 336 / 402 100.0 % 7 / 7 62.2 % 260 / 418

Generated by: LCOV version 1.14