LCOV - code coverage report
Current view: top level - /usr/include/c++/11 Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 401 454 88.3 %
Date: 2024-05-01 03:37:31 Functions: 3460 4424 78.2 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
array
100.0%
 100.0 % 14 / 14 95.3 % 123 / 129
atomic
100.0%
 100.0 % 42 / 42 76.9 % 110 / 143
bitset
93.6%93.6%
 93.6 % 102 / 109 96.8 % 30 / 31
chrono
90.0%90.0%
 90.0 % 36 / 40 73.8 % 31 / 42
cmath
26.1%26.1%
 26.1 % 6 / 23 37.5 % 3 / 8
functional
100.0%
 100.0 % 19 / 19 71.8 % 122 / 170
initializer_list
100.0%
 100.0 % 3 / 3 85.7 % 108 / 126
iomanip
50.0%50.0%
 50.0 % 2 / 4 50.0 % 1 / 2
limits
100.0%
 100.0 % 5 / 5 100.0 % 5 / 5
new
50.0%50.0%
 50.0 % 2 / 4 33.3 % 1 / 3
optional
85.2%85.2%
 85.2 % 46 / 54 88.1 % 37 / 42
tuple
98.0%98.0%
 98.0 % 100 / 102 77.6 % 2667 / 3437
type_traits
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1
typeinfo
0.0%
 0.0 % 0 / 10 0.0 % 0 / 3
utility
100.0%
 100.0 % 24 / 24 78.7 % 222 / 282

Generated by: LCOV version 1.14