LCOV - code coverage report
Current view: top level - core/include/mcrl2/core/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2461 3676 66.9 %
Date: 2024-03-08 02:52:28 Functions: 790 928 85.1 %
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 % 3 / 3 100.0 % 7 / 7
default_values.h
99.8%99.8%
99.8 % 512 / 513 100.0 % 176 / 176
function_symbols.h
98.0%98.0%
98.0 % 483 / 493 99.4 % 160 / 161
print_utility.h
58.5%58.5%
58.5 % 24 / 41 36.1 % 22 / 61
soundness_checks.h
54.8%54.8%
54.8 % 1439 / 2626 81.3 % 425 / 523

Generated by: LCOV version 1.14