LCOV - code coverage report
Current view: top level - /usr/include/c++/11/bits Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 5482 7137 76.8 %
Date: 2024-05-01 03:37:31 Functions: 38984 55466 70.3 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
alloc_traits.h
89.7%89.7%
89.7 % 35 / 39 73.2 % 3232 / 4418
allocated_ptr.h
100.0%
100.0 % 13 / 13 36.9 % 73 / 198
allocator.h
64.7%64.7%
64.7 % 11 / 17 74.8 % 1390 / 1858
atomic_base.h
100.0%
100.0 % 57 / 57 61.1 % 44 / 72
basic_string.h
77.9%77.9%
77.9 % 81 / 104 83.7 % 41 / 49
basic_string.tcc
76.2%76.2%
76.2 % 16 / 21 87.5 % 7 / 8
char_traits.h
29.4%29.4%
29.4 % 15 / 51 30.8 % 4 / 13
charconv.h
88.0%88.0%
88.0 % 22 / 25 100.0 % 4 / 4
cpp_type_traits.h
100.0%
100.0 % 2 / 2 33.0 % 75 / 227
deque.tcc
42.6%42.6%
42.6 % 142 / 333 42.4 % 156 / 368
exception.h
0.0%
0.0 % 0 / 2 0.0 % 0 / 2
forward_list.h
89.7%89.7%
89.7 % 61 / 68 85.6 % 262 / 306
forward_list.tcc
100.0%
100.0 % 23 / 23 56.8 % 21 / 37
functional_hash.h
100.0%
100.0 % 6 / 6 100.0 % 6 / 6
hashtable.h
64.1%64.1%
64.1 % 152 / 237 63.4 % 345 / 544
hashtable_policy.h
87.4%87.4%
87.4 % 153 / 175 63.9 % 562 / 879
invoke.h
100.0%
100.0 % 12 / 12 38.3 % 88 / 230
ios_base.h
68.2%68.2%
68.2 % 45 / 66 70.8 % 17 / 24
list.tcc
86.4%86.4%
86.4 % 57 / 66 66.7 % 24 / 36
locale_classes.tcc
83.3%83.3%
83.3 % 5 / 6 100.0 % 1 / 1
locale_facets.h
80.0%80.0%
80.0 % 16 / 20 83.3 % 5 / 6
move.h
86.7%86.7%
86.7 % 13 / 15 69.7 % 2224 / 3192
postypes.h
0.0%
0.0 % 0 / 5 0.0 % 0 / 3
predefined_ops.h
94.0%94.0%
94.0 % 63 / 67 56.4 % 376 / 667
ptr_traits.h
100.0%
100.0 % 4 / 4 55.9 % 57 / 102
random.h
93.3%93.3%
93.3 % 14 / 15 88.9 % 8 / 9
random.tcc
100.0%
100.0 % 40 / 40 100.0 % 3 / 3
refwrap.h
100.0%
100.0 % 8 / 8 100.0 % 4 / 4
regex.h
80.7%80.7%
80.7 % 155 / 192 83.6 % 61 / 73
regex.tcc
70.0%70.0%
70.0 % 170 / 243 93.8 % 15 / 16
regex_automaton.h
89.7%89.7%
89.7 % 105 / 117 93.8 % 30 / 32
regex_automaton.tcc
14.3%14.3%
14.3 % 7 / 49 33.3 % 1 / 3
regex_compiler.h
54.3%54.3%
54.3 % 70 / 129 36.2 % 34 / 94
regex_compiler.tcc
64.8%64.8%
64.8 % 197 / 304 50.0 % 26 / 52
regex_constants.h
100.0%
100.0 % 14 / 14 100.0 % 7 / 7
regex_error.h
0.0%
0.0 % 0 / 5 0.0 % 0 / 2
regex_executor.h
58.8%58.8%
58.8 % 40 / 68 45.8 % 11 / 24
regex_executor.tcc
52.6%52.6%
52.6 % 122 / 232 37.8 % 14 / 37
regex_scanner.h
65.7%65.7%
65.7 % 23 / 35 85.7 % 6 / 7
regex_scanner.tcc
39.6%39.6%
39.6 % 88 / 222 55.6 % 5 / 9
shared_ptr.h
100.0%
100.0 % 21 / 21 41.4 % 72 / 174
shared_ptr_base.h
88.6%88.6%
88.6 % 124 / 140 43.1 % 382 / 886
std_abs.h
50.0%50.0%
50.0 % 2 / 4 50.0 % 1 / 2
std_function.h
88.2%88.2%
88.2 % 97 / 110 68.8 % 685 / 995
std_mutex.h
92.9%92.9%
92.9 % 13 / 14 100.0 % 6 / 6
std_thread.h
96.7%96.7%
96.7 % 29 / 30 40.0 % 24 / 60
stl_algo.h
86.8%86.8%
86.8 % 297 / 342 53.1 % 335 / 631
stl_algobase.h
83.6%83.6%
83.6 % 219 / 262 41.8 % 1146 / 2744
stl_bvector.h
92.0%92.0%
92.0 % 264 / 287 100.0 % 84 / 84
stl_construct.h
82.4%82.4%
82.4 % 14 / 17 76.7 % 913 / 1190
stl_deque.h
82.0%82.0%
82.0 % 273 / 333 70.6 % 1957 / 2773
stl_function.h
87.5%87.5%
87.5 % 14 / 16 77.0 % 294 / 382
stl_heap.h
0.0%
0.0 % 0 / 49 0.0 % 0 / 105
stl_iterator.h
89.5%89.5%
89.5 % 145 / 162 73.7 % 2893 / 3926
stl_iterator_base_funcs.h
97.1%97.1%
97.1 % 34 / 35 65.8 % 264 / 401
stl_iterator_base_types.h
100.0%
100.0 % 2 / 2 78.0 % 188 / 241
stl_list.h
93.8%93.8%
93.8 % 244 / 260 71.7 % 579 / 807
stl_map.h
87.5%87.5%
87.5 % 84 / 96 73.8 % 1109 / 1502
stl_multimap.h
100.0%
100.0 % 38 / 38 83.1 % 69 / 83
stl_multiset.h
100.0%
100.0 % 40 / 40 93.2 % 68 / 73
stl_numeric.h
100.0%
100.0 % 8 / 8 50.0 % 2 / 4
stl_pair.h
86.4%86.4%
86.4 % 38 / 44 71.9 % 741 / 1030
stl_queue.h
100.0%
100.0 % 15 / 15 71.4 % 15 / 21
stl_set.h
100.0%
100.0 % 58 / 58 84.4 % 467 / 553
stl_stack.h
100.0%
100.0 % 15 / 15 88.9 % 88 / 99
stl_tree.h
88.6%88.6%
88.6 % 565 / 638 73.6 % 9138 / 12414
stl_uninitialized.h
76.4%76.4%
76.4 % 81 / 106 71.7 % 1246 / 1739
stl_vector.h
90.5%90.5%
90.5 % 258 / 285 81.2 % 6166 / 7595
stream_iterator.h
63.9%63.9%
63.9 % 23 / 36 61.5 % 8 / 13
this_thread_sleep.h
88.9%88.9%
88.9 % 8 / 9 100.0 % 1 / 1
uniform_int_dist.h
71.8%71.8%
71.8 % 28 / 39 50.0 % 7 / 14
unique_lock.h
87.5%87.5%
87.5 % 21 / 24 100.0 % 4 / 4
unique_ptr.h
95.3%95.3%
95.3 % 81 / 85 46.2 % 210 / 455
unordered_map.h
96.7%96.7%
96.7 % 29 / 30 60.6 % 57 / 94
unordered_set.h
65.4%65.4%
65.4 % 17 / 26 67.9 % 19 / 28
vector.tcc
63.8%63.8%
63.8 % 226 / 354 70.9 % 507 / 715

Generated by: LCOV version 1.14