LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/util Hit Total Coverage
Test: coverage.info Lines: 2886 3519 82.0 %
Date: 2026-01-20 13:04:20 Functions: 1115 1387 80.4 %
Branches: 1258 2258 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 % 163 / 165 100.0 % 94 / 94 50.0 % 66 / 132
bitvector.cpp
100.0%
 100.0 % 180 / 180 100.0 % 42 / 42 42.1 % 115 / 273
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
74.5%74.5%
 74.5 % 105 / 141 84.6 % 11 / 13 60.7 % 125 / 206
cardinality.h
100.0%
 100.0 % 23 / 23 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 % 65 / 65 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
50.0%50.0%
 50.0 % 41 / 82 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.6%90.6%
 90.6 % 202 / 223 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
88.3%88.3%
 88.3 % 113 / 128 94.9 % 37 / 39 46.4 % 39 / 84
floatingpoint_literal_symfpu.h
100.0%
 100.0 % 8 / 8 100.0 % 5 / 5 - 0 / 0
floatingpoint_literal_symfpu_traits.cpp
94.2%94.2%
 94.2 % 114 / 121 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
91.7%91.7%
 91.7 % 222 / 242 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
80.6%80.6%
 80.6 % 29 / 36 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.5%63.5%
 63.5 % 101 / 159 76.2 % 16 / 21 48.9 % 43 / 88
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
86.4%86.4%
 86.4 % 57 / 66 100.0 % 7 / 7 65.0 % 26 / 40
rational_cln_imp.h
96.4%96.4%
 96.4 % 80 / 83 95.7 % 45 / 47 100.0 % 4 / 4
real_algebraic_number_poly_imp.cpp
77.3%77.3%
 77.3 % 116 / 150 81.2 % 26 / 32 62.0 % 57 / 92
real_algebraic_number_poly_imp.h
100.0%
 100.0 % 8 / 8 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.1%71.1%
 71.1 % 106 / 149 73.1 % 19 / 26 52.1 % 49 / 94
resource_manager.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 100.0 % 4 / 4
result.cpp
71.4%71.4%
 71.4 % 65 / 91 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.5%94.5%
 94.5 % 69 / 73 66.7 % 2 / 3 93.1 % 27 / 29
sexpr.cpp
62.5%62.5%
 62.5 % 10 / 16 100.0 % 2 / 2 50.0 % 3 / 6
sexpr.h
79.3%79.3%
 79.3 % 23 / 29 30.8 % 4 / 13 100.0 % 4 / 4
smt2_quote_string.cpp
100.0%
 100.0 % 19 / 19 100.0 % 2 / 2 90.9 % 20 / 22
statistics_public.cpp
100.0%
 100.0 % 16 / 16 100.0 % 1 / 1 100.0 % 2 / 2
statistics_registry.cpp
42.2%42.2%
 42.2 % 27 / 64 66.7 % 8 / 12 31.2 % 15 / 48
statistics_registry.h
96.8%96.8%
 96.8 % 30 / 31 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
66.7%66.7%
 66.7 % 58 / 87 61.6 % 53 / 86 57.4 % 31 / 54
string.cpp
93.5%93.5%
 93.5 % 259 / 277 97.1 % 34 / 35 79.0 % 196 / 248
string.h
95.2%95.2%
 95.2 % 20 / 21 92.9 % 13 / 14 50.0 % 1 / 2
synth_result.cpp
75.8%75.8%
 75.8 % 25 / 33 77.8 % 7 / 9 53.8 % 7 / 13
uninterpreted_sort_value.cpp
78.6%78.6%
 78.6 % 22 / 28 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 / 16 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