LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/util Hit Total Coverage
Test: coverage.info Lines: 3065 3724 82.3 %
Date: 2026-04-25 10:46:27 Functions: 1133 1410 80.4 %
Branches: 1302 2352 55.4 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
utility.cpp
0.0%
 0.0 % 0 / 17 0.0 % 0 / 1 0.0 % 0 / 6
roundingmode.cpp
0.0%
 0.0 % 0 / 17 0.0 % 0 / 1 0.0 % 0 / 6
ostream_util.cpp
0.0%
 0.0 % 0 / 7 0.0 % 0 / 2 - 0 / 0
safe_print.cpp
15.7%15.7%
 15.7 % 16 / 102 16.7 % 2 / 12 17.3 % 9 / 52
safe_print.h
86.7%86.7%
 86.7 % 13 / 15 17.1 % 7 / 41 50.0 % 2 / 4
sexpr.h
80.6%80.6%
 80.6 % 25 / 31 30.8 % 4 / 13 100.0 % 4 / 4
utility.h
65.2%65.2%
 65.2 % 15 / 23 36.8 % 7 / 19 80.0 % 8 / 10
cardinality_class.cpp
52.0%52.0%
 52.0 % 13 / 25 50.0 % 2 / 4 74.1 % 20 / 27
finite_field_value.cpp
51.8%51.8%
 51.8 % 44 / 85 55.2 % 16 / 29 36.1 % 13 / 36
statistics_value.h
67.4%67.4%
 67.4 % 60 / 89 61.6 % 53 / 86 57.4 % 31 / 54
dense_map.h
78.2%78.2%
 78.2 % 86 / 110 65.0 % 139 / 214 39.6 % 36 / 91
sampler.cpp
94.8%94.8%
 94.8 % 73 / 77 66.7 % 2 / 3 82.9 % 29 / 35
floatingpoint_size.cpp
71.4%71.4%
 71.4 % 10 / 14 66.7 % 2 / 3 33.3 % 8 / 24
divisible.h
50.0%50.0%
 50.0 % 2 / 4 66.7 % 2 / 3 - 0 / 0
statistics_registry.cpp
42.2%42.2%
 42.2 % 27 / 64 66.7 % 8 / 12 31.2 % 15 / 48
resource_manager.cpp
71.7%71.7%
 71.7 % 114 / 159 73.1 % 19 / 26 51.0 % 49 / 96
indexed_root_predicate.h
71.4%71.4%
 71.4 % 5 / 7 75.0 % 3 / 4 - 0 / 0
regexp.cpp
76.5%76.5%
 76.5 % 13 / 17 75.0 % 6 / 8 50.0 % 2 / 4
poly_util.cpp
63.6%63.6%
 63.6 % 105 / 165 76.2 % 16 / 21 48.9 % 44 / 90
synth_result.cpp
79.4%79.4%
 79.4 % 27 / 34 77.8 % 7 / 9 61.5 % 8 / 13
uninterpreted_sort_value.cpp
79.3%79.3%
 79.3 % 23 / 29 77.8 % 7 / 9 27.8 % 10 / 36
omt_result.cpp
80.6%80.6%
 80.6 % 29 / 36 77.8 % 7 / 9 81.2 % 13 / 16
real_algebraic_number_poly_imp.cpp
78.1%78.1%
 78.1 % 121 / 155 81.2 % 26 / 32 61.7 % 58 / 94
floatingpoint_literal_symfpu_traits.cpp
94.4%94.4%
 94.4 % 118 / 125 83.0 % 73 / 88 37.5 % 15 / 40
cardinality.cpp
73.4%73.4%
 73.4 % 105 / 143 84.6 % 11 / 13 59.8 % 128 / 214
floatingpoint_literal_symfpu_traits.h
100.0%
 100.0 % 4 / 4 87.5 % 7 / 8 100.0 % 2 / 2
statistics_value.cpp
92.1%92.1%
 92.1 % 35 / 38 87.5 % 14 / 16 100.0 % 10 / 10
bitvector.h
85.7%85.7%
 85.7 % 48 / 56 89.5 % 34 / 38 50.0 % 2 / 4
floatingpoint.cpp
86.3%86.3%
 86.3 % 151 / 175 89.7 % 52 / 58 78.6 % 22 / 28
floatingpoint_literal.cpp
100.0%
 100.0 % 19 / 19 90.0 % 9 / 10 45.0 % 9 / 20
integer_cln_imp.cpp
92.5%92.5%
 92.5 % 245 / 265 91.4 % 64 / 70 53.7 % 80 / 149
result.cpp
77.1%77.1%
 77.1 % 74 / 96 91.7 % 11 / 12 54.3 % 38 / 70
floatingpoint_literal_symfpu.cpp
92.1%92.1%
 92.1 % 233 / 253 91.7 % 44 / 48 52.8 % 93 / 176
string.h
94.1%94.1%
 94.1 % 16 / 17 92.3 % 12 / 13 - 0 / 0
floatingpoint.h
95.7%95.7%
 95.7 % 44 / 46 93.5 % 29 / 31 - 0 / 0
statistics_stats.h
96.9%96.9%
 96.9 % 31 / 32 94.4 % 51 / 54 - 0 / 0
rational_cln_imp.h
96.5%96.5%
 96.5 % 82 / 85 95.7 % 45 / 47 100.0 % 4 / 4
string.cpp
92.5%92.5%
 92.5 % 270 / 292 97.1 % 34 / 35 79.7 % 204 / 256
cocoa_globals.cpp
100.0%
 100.0 % 4 / 4 100.0 % 1 / 1 100.0 % 2 / 2
statistics_public.cpp
100.0%
 100.0 % 14 / 14 100.0 % 1 / 1 100.0 % 2 / 2
roundingmode.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
bool.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
divisible.cpp
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 33.3 % 2 / 6
smt2_quote_string.cpp
100.0%
 100.0 % 21 / 21 100.0 % 2 / 2 90.9 % 20 / 22
uninterpreted_sort_value.h
100.0%
 100.0 % 3 / 3 100.0 % 2 / 2 - 0 / 0
didyoumean.h
100.0%
 100.0 % 4 / 4 100.0 % 2 / 2 - 0 / 0
floatingpoint_literal_symfpu.h
100.0%
 100.0 % 8 / 8 100.0 % 2 / 2 - 0 / 0
sexpr.cpp
60.0%60.0%
 60.0 % 12 / 20 100.0 % 2 / 2 50.0 % 5 / 10
resource_manager.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 100.0 % 4 / 4
iand.h
100.0%
 100.0 % 4 / 4 100.0 % 3 / 3 - 0 / 0
didyoumean.cpp
100.0%
 100.0 % 68 / 68 100.0 % 3 / 3 97.6 % 41 / 42
floatingpoint_literal.h
100.0%
 100.0 % 5 / 5 100.0 % 3 / 3 - 0 / 0
result.h
100.0%
 100.0 % 8 / 8 100.0 % 4 / 4 - 0 / 0
random.h
100.0%
 100.0 % 15 / 15 100.0 % 5 / 5 42.9 % 6 / 14
random.cpp
100.0%
 100.0 % 18 / 18 100.0 % 5 / 5 42.9 % 6 / 14
finite_field_value.h
100.0%
 100.0 % 12 / 12 100.0 % 7 / 7 33.3 % 2 / 6
rational_cln_imp.cpp
84.0%84.0%
 84.0 % 63 / 75 100.0 % 7 / 7 58.7 % 27 / 46
hash.h
100.0%
 100.0 % 7 / 7 100.0 % 9 / 9 - 0 / 0
real_algebraic_number_poly_imp.h
100.0%
 100.0 % 9 / 9 100.0 % 9 / 9 - 0 / 0
floatingpoint_size.h
100.0%
 100.0 % 16 / 16 100.0 % 10 / 10 50.0 % 2 / 4
statistics_stats.cpp
100.0%
 100.0 % 50 / 50 100.0 % 13 / 13 71.4 % 20 / 28
integer_cln_imp.h
100.0%
 100.0 % 19 / 19 100.0 % 13 / 13 - 0 / 0
cardinality.h
88.5%88.5%
 88.5 % 23 / 26 100.0 % 14 / 14 75.0 % 3 / 4
bitvector.cpp
99.5%99.5%
 99.5 % 196 / 197 100.0 % 44 / 44 42.4 % 120 / 283
statistics_registry.h
96.7%96.7%
 96.7 % 29 / 30 100.0 % 48 / 48 57.1 % 8 / 14
bin_heap.h
98.7%98.7%
 98.7 % 154 / 156 100.0 % 94 / 94 50.0 % 66 / 132

Generated by: LCOV version 1.14