LCOV - code coverage report
Current view: top level - core/include/mcrl2/core/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2542 3340 76.1 %
Date: 2019-06-19 00:50:04 Functions: 785 842 93.2 %
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 35.2 % 19 / 54
soundness_checks.h
67.1%67.1%
67.1 % 1595 / 2377 95.0 % 420 / 442
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