LCOV - code coverage report
Current view: top level - core/include/mcrl2/core/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2542 3423 74.3 %
Date: 2019-09-14 00:54:39 Functions: 789 853 92.5 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
print_utility.h
59.0%59.0%
59.0 % 23 / 39 39.7 % 23 / 58
soundness_checks.h
64.8%64.8%
64.8 % 1595 / 2460 93.5 % 420 / 449
construction_utility.h
100.0%
100.0 % 7 / 7 100.0 % 35 / 35
function_symbols.h
100.0%
100.0 % 445 / 445 100.0 % 148 / 148
default_values.h
100.0%
100.0 % 472 / 472 100.0 % 163 / 163

Generated by: LCOV version 1.12