LCOV - code coverage report
Current view: top level - core/include/mcrl2/core/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2440 3278 74.4 %
Date: 2020-08-12 00:34:17 Functions: 766 833 92.0 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
construction_utility.h
100.0%
100.0 % 7 / 7 100.0 % 35 / 35
default_values.h
100.0%
100.0 % 472 / 472 100.0 % 163 / 163
function_symbols.h
100.0%
100.0 % 445 / 445 100.0 % 148 / 148
print_utility.h
59.0%59.0%
59.0 % 23 / 39 39.0 % 23 / 59
soundness_checks.h
64.5%64.5%
64.5 % 1493 / 2315 92.8 % 397 / 428

Generated by: LCOV version 1.13