LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/preprocessing/passes Hit Total Coverage
Test: coverage.info Lines: 3659 4224 86.6 %
Date: 2024-12-29 13:20:26 Functions: 180 186 96.8 %
Branches: 2385 3947 60.4 %

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 % 111 / 113 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
94.9%94.9%
 94.9 % 169 / 178 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.7%89.7%
 89.7 % 306 / 341 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
87.4%87.4%
 87.4 % 132 / 151 100.0 % 7 / 7 63.5 % 94 / 148
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.7%66.7%
 66.7 % 244 / 366 87.5 % 7 / 8 46.4 % 143 / 308
nl_ext_purify.cpp
69.1%69.1%
 69.1 % 38 / 55 100.0 % 3 / 3 60.0 % 30 / 50
non_clausal_simp.cpp
92.2%92.2%
 92.2 % 201 / 218 100.0 % 6 / 6 52.5 % 134 / 255
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 % 16 / 16 100.0 % 2 / 2 75.0 % 6 / 8
real_to_int.cpp
95.4%95.4%
 95.4 % 103 / 108 100.0 % 3 / 3 65.6 % 84 / 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
92.4%92.4%
 92.4 % 146 / 158 100.0 % 3 / 3 61.6 % 85 / 138
synth_rew_rules.cpp
87.9%87.9%
 87.9 % 203 / 231 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.3%83.3%
 83.3 % 335 / 402 100.0 % 7 / 7 61.5 % 257 / 418

Generated by: LCOV version 1.14