LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/util Hit Total Coverage
Test: coverage.info Lines: 3475 4251 81.7 %
Date: 2026-09-21 10:07:54 Functions: 1216 1472 82.6 %
Branches: 1534 2741 56.0 %

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
safe_print.cpp
15.7%15.7%
 15.7 % 16 / 102 16.7 % 2 / 12 17.3 % 9 / 52
uninterpreted_sort_value.cpp
79.3%79.3%
 79.3 % 23 / 29 77.8 % 7 / 9 27.8 % 10 / 36
statistics_registry.cpp
42.2%42.2%
 42.2 % 27 / 64 66.7 % 8 / 12 31.2 % 15 / 48
divisible.cpp
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 33.3 % 2 / 6
finite_field_value.h
100.0%
 100.0 % 12 / 12 100.0 % 7 / 7 33.3 % 2 / 6
floatingpoint_size.cpp
100.0%
 100.0 % 10 / 10 100.0 % 2 / 2 33.3 % 8 / 24
floatingpoint_literal_symfpu.cpp
54.2%54.2%
 54.2 % 137 / 253 72.9 % 35 / 48 33.6 % 49 / 146
finite_field_value.cpp
51.8%51.8%
 51.8 % 44 / 85 55.2 % 16 / 29 36.1 % 13 / 36
floatingpoint_literal_symfpu_traits.cpp
95.2%95.2%
 95.2 % 119 / 125 84.1 % 74 / 88 37.5 % 15 / 40
dense_map.h
82.7%82.7%
 82.7 % 91 / 110 79.9 % 171 / 214 41.8 % 38 / 91
bitvector.cpp
99.5%99.5%
 99.5 % 196 / 197 100.0 % 44 / 44 42.4 % 120 / 283
random.cpp
100.0%
 100.0 % 18 / 18 100.0 % 5 / 5 42.9 % 6 / 14
random.h
100.0%
 100.0 % 15 / 15 100.0 % 6 / 6 42.9 % 6 / 14
floatingpoint_literal.cpp
100.0%
 100.0 % 19 / 19 90.0 % 9 / 10 45.0 % 9 / 20
poly_util.cpp
63.6%63.6%
 63.6 % 105 / 165 76.2 % 16 / 21 48.9 % 44 / 90
bitvector.h
85.7%85.7%
 85.7 % 48 / 56 89.5 % 34 / 38 50.0 % 2 / 4
regexp.cpp
76.5%76.5%
 76.5 % 13 / 17 75.0 % 6 / 8 50.0 % 2 / 4
floatingpoint_size.h
100.0%
 100.0 % 16 / 16 100.0 % 10 / 10 50.0 % 2 / 4
safe_print.h
86.7%86.7%
 86.7 % 13 / 15 17.1 % 7 / 41 50.0 % 2 / 4
sexpr.cpp
60.0%60.0%
 60.0 % 12 / 20 100.0 % 2 / 2 50.0 % 5 / 10
bin_heap.h
98.7%98.7%
 98.7 % 154 / 156 100.0 % 94 / 94 50.0 % 66 / 132
synth_result.cpp
76.5%76.5%
 76.5 % 26 / 34 77.8 % 7 / 9 53.8 % 7 / 13
result.cpp
77.1%77.1%
 77.1 % 74 / 96 91.7 % 11 / 12 54.3 % 38 / 70
integer_cln_imp.cpp
92.1%92.1%
 92.1 % 244 / 265 90.0 % 63 / 70 54.2 % 83 / 153
resource_manager.cpp
73.9%73.9%
 73.9 % 119 / 161 73.1 % 19 / 26 55.1 % 54 / 98
statistics_registry.h
96.7%96.7%
 96.7 % 29 / 30 100.0 % 48 / 48 57.1 % 8 / 14
statistics_value.h
67.4%67.4%
 67.4 % 60 / 89 61.6 % 53 / 86 57.4 % 31 / 54
rational_cln_imp.cpp
84.0%84.0%
 84.0 % 63 / 75 100.0 % 7 / 7 58.7 % 27 / 46
real_algebraic_number_poly_imp.cpp
78.1%78.1%
 78.1 % 121 / 155 81.2 % 26 / 32 59.6 % 56 / 94
cardinality.cpp
73.4%73.4%
 73.4 % 105 / 143 84.6 % 11 / 13 59.8 % 128 / 214
floatingpoint_literal_mpfr.cpp
93.4%93.4%
 93.4 % 466 / 499 93.3 % 56 / 60 64.7 % 249 / 385
statistics_stats.cpp
100.0%
 100.0 % 50 / 50 100.0 % 13 / 13 71.4 % 20 / 28
cardinality_class.cpp
52.0%52.0%
 52.0 % 13 / 25 50.0 % 2 / 4 74.1 % 20 / 27
cardinality.h
88.5%88.5%
 88.5 % 23 / 26 100.0 % 14 / 14 75.0 % 3 / 4
floatingpoint.cpp
90.7%90.7%
 90.7 % 186 / 205 91.7 % 55 / 60 75.0 % 42 / 56
string.cpp
92.5%92.5%
 92.5 % 270 / 292 97.1 % 34 / 35 79.7 % 204 / 256
utility.h
65.2%65.2%
 65.2 % 15 / 23 36.8 % 7 / 19 80.0 % 8 / 10
omt_result.cpp
80.6%80.6%
 80.6 % 29 / 36 77.8 % 7 / 9 81.2 % 13 / 16
sampler.cpp
94.8%94.8%
 94.8 % 73 / 77 66.7 % 2 / 3 82.9 % 29 / 35
smt2_quote_string.cpp
100.0%
 100.0 % 21 / 21 100.0 % 2 / 2 90.9 % 20 / 22
didyoumean.cpp
100.0%
 100.0 % 68 / 68 100.0 % 3 / 3 97.6 % 41 / 42
indexed_root_predicate.h
71.4%71.4%
 71.4 % 5 / 7 75.0 % 3 / 4 - 0 / 0
statistics_stats.h
96.9%96.9%
 96.9 % 31 / 32 94.4 % 51 / 54 - 0 / 0
didyoumean.h
100.0%
 100.0 % 4 / 4 100.0 % 2 / 2 - 0 / 0
hash.h
100.0%
 100.0 % 7 / 7 100.0 % 9 / 9 - 0 / 0
string.h
94.1%94.1%
 94.1 % 16 / 17 92.3 % 12 / 13 - 0 / 0
bool.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
result.h
100.0%
 100.0 % 8 / 8 100.0 % 4 / 4 - 0 / 0
roundingmode.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
iand.h
100.0%
 100.0 % 4 / 4 100.0 % 3 / 3 - 0 / 0
real_algebraic_number_poly_imp.h
100.0%
 100.0 % 9 / 9 100.0 % 9 / 9 - 0 / 0
uninterpreted_sort_value.h
100.0%
 100.0 % 3 / 3 100.0 % 2 / 2 - 0 / 0
floatingpoint_literal.h
100.0%
 100.0 % 5 / 5 100.0 % 3 / 3 - 0 / 0
floatingpoint_literal_symfpu.h
50.0%50.0%
 50.0 % 4 / 8 50.0 % 1 / 2 - 0 / 0
ostream_util.cpp
0.0%
 0.0 % 0 / 7 0.0 % 0 / 2 - 0 / 0
floatingpoint.h
95.7%95.7%
 95.7 % 44 / 46 93.5 % 29 / 31 - 0 / 0
integer_cln_imp.h
100.0%
 100.0 % 19 / 19 100.0 % 13 / 13 - 0 / 0
divisible.h
50.0%50.0%
 50.0 % 2 / 4 66.7 % 2 / 3 - 0 / 0
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
floatingpoint_literal_symfpu_traits.h
100.0%
 100.0 % 4 / 4 87.5 % 7 / 8 100.0 % 2 / 2
resource_manager.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 100.0 % 4 / 4
rational_cln_imp.h
96.5%96.5%
 96.5 % 82 / 85 97.9 % 46 / 47 100.0 % 4 / 4
sexpr.h
80.6%80.6%
 80.6 % 25 / 31 30.8 % 4 / 13 100.0 % 4 / 4
statistics_value.cpp
92.1%92.1%
 92.1 % 35 / 38 87.5 % 14 / 16 100.0 % 10 / 10

Generated by: LCOV version 1.14