LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/preprocessing/passes Hit Total Coverage
Test: coverage.info Lines: 3664 4230 86.6 %
Date: 2024-11-03 11:40:22 Functions: 180 186 96.8 %
Branches: 2384 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 % 112 / 114 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 % 168 / 177 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 % 149 / 154 100.0 % 15 / 15 54.5 % 96 / 176
bv_to_int.cpp
95.6%95.6%
 95.6 % 43 / 45 100.0 % 4 / 4 69.2 % 18 / 26
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
76.9%76.9%
 76.9 % 10 / 13 100.0 % 2 / 2 50.0 % 3 / 6
foreign_theory_rewrite.cpp
98.3%98.3%
 98.3 % 58 / 59 100.0 % 6 / 6 58.3 % 35 / 60
fun_def_fmf.cpp
94.1%94.1%
 94.1 % 222 / 236 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 % 329 / 337 100.0 % 7 / 7 65.2 % 184 / 282
int_to_bv.cpp
87.5%87.5%
 87.5 % 133 / 152 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.6%69.6%
 69.6 % 39 / 56 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 % 15 / 15 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.3%96.3%
 96.3 % 52 / 54 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 % 32 / 32 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.0%95.0%
 95.0 % 19 / 20 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 % 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.3%83.3%
 83.3 % 334 / 401 100.0 % 7 / 7 61.3 % 255 / 416

Generated by: LCOV version 1.14