LCOV - code coverage report
Current view: top level - core/include/mcrl2/core Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 256 306 83.7 %
Date: 2024-03-08 02:52:28 Functions: 3922 11955 32.8 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
add_binding.h
100.0%
100.0 % 18 / 18 42.3 % 55 / 130
builder.h
100.0%
100.0 % 50 / 50 35.2 % 1687 / 4789
dparser.h
70.0%70.0%
70.0 % 21 / 30 88.9 % 8 / 9
identifier_string.h
66.7%66.7%
66.7 % 4 / 6 66.7 % 2 / 3
load_aterm.h
75.0%75.0%
75.0 % 3 / 4 100.0 % 1 / 1
parse.h
76.3%76.3%
76.3 % 71 / 93 88.1 % 96 / 109
parser_utility.h
100.0%
100.0 % 4 / 4 100.0 % 2 / 2
print.h
90.1%90.1%
90.1 % 73 / 81 38.8 % 116 / 299
print_format.h
0.0%
0.0 % 0 / 8 0.0 % 0 / 1
traverser.h
100.0%
100.0 % 12 / 12 29.6 % 1955 / 6612

Generated by: LCOV version 1.14