LCOV - code coverage report
Current view: top level - /usr/include/c++/11/ext Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 73 81 90.1 %
Date: 2024-05-01 03:37:31 Functions: 5352 7183 74.5 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
aligned_buffer.h
100.0%
100.0 % 16 / 16 73.7 % 854 / 1158
alloc_traits.h
80.0%80.0%
80.0 % 8 / 10 64.3 % 202 / 314
atomicity.h
100.0%
100.0 % 12 / 12 - 0 / 0
new_allocator.h
87.0%87.0%
87.0 % 20 / 23 75.2 % 4286 / 5700
string_conversions.h
81.2%81.2%
81.2 % 13 / 16 100.0 % 4 / 4
type_traits.h
100.0%
100.0 % 4 / 4 85.7 % 6 / 7

Generated by: LCOV version 1.14