LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/util Hit Total Coverage
Test: coverage.info Lines: 3003 3652 82.2 %
Date: 2026-02-24 12:04:47 Functions: 1115 1387 80.4 %
Branches: 1279 2296 55.7 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
bin_heap.h
98.8%98.8%
 98.8 % 164 / 166 100.0 % 94 / 94 50.0 % 66 / 132
bitvector.cpp
99.5%99.5%
 99.5 % 193 / 194 100.0 % 42 / 42 42.6 % 118 / 277
bitvector.h
87.1%87.1%
 87.1 % 54 / 62 90.0 % 36 / 40 66.7 % 4 / 6
bool.h
100.0%
 100.0 % 2 / 2 100.0 % 1 / 1 - 0 / 0
cardinality.cpp
73.4%73.4%
 73.4 % 105 / 143 84.6 % 11 / 13 59.8 % 128 / 214
cardinality.h
88.5%88.5%
 88.5 % 23 / 26 100.0 % 14 / 14 75.0 % 3 / 4
cardinality_class.cpp
52.0%52.0%
 52.0 % 13 / 25 50.0 % 2 / 4 74.1 % 20 / 27
cocoa_globals.cpp
100.0%
 100.0 % 4 / 4 100.0 % 1 / 1 100.0 % 2 / 2
dense_map.h
78.8%78.8%
 78.8 % 89 / 113 65.0 % 139 / 214 39.6 % 36 / 91
didyoumean.cpp
100.0%
 100.0 % 68 / 68 100.0 % 3 / 3 97.6 % 41 / 42
didyoumean.h
100.0%
 100.0 % 4 / 4 100.0 % 2 / 2 - 0 / 0
divisible.cpp
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 33.3 % 2 / 6
divisible.h
66.7%66.7%
 66.7 % 4 / 6 66.7 % 2 / 3 - 0 / 0
finite_field_value.cpp
51.8%51.8%
 51.8 % 44 / 85 55.2 % 16 / 29 36.1 % 13 / 36
finite_field_value.h
94.7%94.7%
 94.7 % 18 / 19 100.0 % 9 / 9 37.5 % 3 / 8
floatingpoint.cpp
90.8%90.8%
 90.8 % 216 / 238 89.1 % 49 / 55 72.8 % 67 / 92
floatingpoint.h
95.7%95.7%
 95.7 % 45 / 47 93.8 % 30 / 32 - 0 / 0
floatingpoint_literal_symfpu.cpp
90.4%90.4%
 90.4 % 122 / 135 94.9 % 37 / 39 46.5 % 40 / 86
floatingpoint_literal_symfpu.h
100.0%
 100.0 % 8 / 8 100.0 % 5 / 5 - 0 / 0
floatingpoint_literal_symfpu_traits.cpp
94.3%94.3%
 94.3 % 116 / 123 83.7 % 72 / 86 37.5 % 15 / 40
floatingpoint_literal_symfpu_traits.h
100.0%
 100.0 % 5 / 5 90.0 % 9 / 10 100.0 % 2 / 2
floatingpoint_size.cpp
100.0%
 100.0 % 10 / 10 100.0 % 2 / 2 33.3 % 8 / 24
floatingpoint_size.h
100.0%
 100.0 % 16 / 16 100.0 % 10 / 10 50.0 % 2 / 4
hash.h
100.0%
 100.0 % 7 / 7 100.0 % 9 / 9 - 0 / 0
iand.h
100.0%
 100.0 % 4 / 4 100.0 % 3 / 3 - 0 / 0
indexed_root_predicate.h
71.4%71.4%
 71.4 % 5 / 7 75.0 % 3 / 4 - 0 / 0
integer_cln_imp.cpp
92.2%92.2%
 92.2 % 237 / 257 91.3 % 63 / 69 53.8 % 77 / 143
integer_cln_imp.h
100.0%
 100.0 % 19 / 19 100.0 % 13 / 13 - 0 / 0
omt_result.cpp
81.1%81.1%
 81.1 % 30 / 37 77.8 % 7 / 9 81.2 % 13 / 16
ostream_util.cpp
0.0%
 0.0 % 0 / 7 0.0 % 0 / 2 - 0 / 0
poly_util.cpp
63.6%63.6%
 63.6 % 105 / 165 76.2 % 16 / 21 48.9 % 44 / 90
random.cpp
100.0%
 100.0 % 24 / 24 100.0 % 7 / 7 34.4 % 11 / 32
random.h
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 100.0 % 2 / 2
rational_cln_imp.cpp
87.5%87.5%
 87.5 % 63 / 72 100.0 % 7 / 7 58.7 % 27 / 46
rational_cln_imp.h
96.4%96.4%
 96.4 % 81 / 84 95.7 % 45 / 47 100.0 % 4 / 4
real_algebraic_number_poly_imp.cpp
78.1%78.1%
 78.1 % 121 / 155 81.2 % 26 / 32 61.7 % 58 / 94
real_algebraic_number_poly_imp.h
100.0%
 100.0 % 9 / 9 100.0 % 9 / 9 - 0 / 0
regexp.cpp
76.5%76.5%
 76.5 % 13 / 17 75.0 % 6 / 8 50.0 % 2 / 4
resource_manager.cpp
71.7%71.7%
 71.7 % 114 / 159 73.1 % 19 / 26 51.0 % 49 / 96
resource_manager.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 100.0 % 4 / 4
result.cpp
74.0%74.0%
 74.0 % 74 / 100 91.7 % 11 / 12 54.3 % 38 / 70
result.h
100.0%
 100.0 % 7 / 7 100.0 % 4 / 4 - 0 / 0
roundingmode.cpp
0.0%
 0.0 % 0 / 17 0.0 % 0 / 1 0.0 % 0 / 6
roundingmode.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 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
sampler.cpp
94.7%94.7%
 94.7 % 72 / 76 66.7 % 2 / 3 93.1 % 27 / 29
sexpr.cpp
60.0%60.0%
 60.0 % 12 / 20 100.0 % 2 / 2 50.0 % 5 / 10
sexpr.h
80.6%80.6%
 80.6 % 25 / 31 30.8 % 4 / 13 100.0 % 4 / 4
smt2_quote_string.cpp
100.0%
 100.0 % 21 / 21 100.0 % 2 / 2 90.9 % 20 / 22
statistics_public.cpp
100.0%
 100.0 % 14 / 14 100.0 % 1 / 1 100.0 % 2 / 2
statistics_registry.cpp
41.5%41.5%
 41.5 % 27 / 65 66.7 % 8 / 12 31.2 % 15 / 48
statistics_registry.h
96.7%96.7%
 96.7 % 29 / 30 100.0 % 48 / 48 57.1 % 8 / 14
statistics_stats.cpp
100.0%
 100.0 % 45 / 45 100.0 % 12 / 12 66.7 % 16 / 24
statistics_stats.h
96.9%96.9%
 96.9 % 31 / 32 94.4 % 51 / 54 - 0 / 0
statistics_value.cpp
92.1%92.1%
 92.1 % 35 / 38 87.5 % 14 / 16 100.0 % 10 / 10
statistics_value.h
67.4%67.4%
 67.4 % 60 / 89 61.6 % 53 / 86 57.4 % 31 / 54
string.cpp
92.5%92.5%
 92.5 % 270 / 292 97.1 % 34 / 35 79.7 % 204 / 256
string.h
95.2%95.2%
 95.2 % 20 / 21 92.9 % 13 / 14 50.0 % 1 / 2
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
uninterpreted_sort_value.h
100.0%
 100.0 % 3 / 3 100.0 % 2 / 2 - 0 / 0
utility.cpp
0.0%
 0.0 % 0 / 17 0.0 % 0 / 1 0.0 % 0 / 6
utility.h
65.2%65.2%
 65.2 % 15 / 23 36.8 % 7 / 19 80.0 % 8 / 10

Generated by: LCOV version 1.14