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-05-22 00:50:25 Functions: 786 842 93.3 %
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 35.2 % 19 / 54
soundness_checks.h
67.1%67.1%
67.1 % 1595 / 2377 95.2 % 421 / 442

Generated by: LCOV version 1.12