LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 527 535 98.5 %
Date: 2020-10-20 00:45:57 Functions: 1375 1752 78.5 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
algorithm.h
100.0%
 100.0 % 58 / 58 95.0 % 57 / 60
aterm.h
100.0%
 100.0 % 73 / 73 89.0 % 234 / 263
aterm_appl.h
100.0%
 100.0 % 38 / 38 75.4 % 291 / 386
aterm_balanced_tree.h
99.1%99.1%
 99.1 % 115 / 116 87.2 % 75 / 86
aterm_int.h
100.0%
 100.0 % 9 / 9 83.3 % 5 / 6
aterm_io.h
100.0%
 100.0 % 52 / 52 95.7 % 44 / 46
aterm_io_binary.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2
aterm_io_text.h
100.0%
 100.0 % 2 / 2 50.0 % 2 / 4
aterm_list.h
100.0%
 100.0 % 67 / 67 76.2 % 535 / 702
aterm_string.h
86.4%86.4%
 86.4 % 19 / 22 90.9 % 10 / 11
builder.h
100.0%
 100.0 % 31 / 31 60.6 % 100 / 165
function_symbol.h
100.0%
 100.0 % 29 / 29 100.0 % 14 / 14
function_symbol_generator.h
100.0%
 100.0 % 18 / 18 100.0 % 4 / 4
set_operations.h
78.9%78.9%
 78.9 % 15 / 19 100.0 % 3 / 3

Generated by: LCOV version 1.13