LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 501 511 98.0 %
Date: 2019-05-22 00:50:25 Functions: 1488 1808 82.3 %
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 % 59 / 59 96.6 % 85 / 88
aterm.h
97.5%97.5%
 97.5 % 77 / 79 87.9 % 239 / 272
aterm_appl.h
100.0%
 100.0 % 39 / 39 79.1 % 302 / 382
aterm_balanced_tree.h
99.1%99.1%
 99.1 % 116 / 117 90.1 % 64 / 71
aterm_int.h
77.8%77.8%
 77.8 % 7 / 9 66.7 % 4 / 6
aterm_io.h
100.0%
 100.0 % 12 / 12 100.0 % 3 / 3
aterm_list.h
100.0%
 100.0 % 67 / 67 81.5 % 534 / 655
aterm_string.h
100.0%
 100.0 % 19 / 19 100.0 % 10 / 10
builder.h
100.0%
 100.0 % 32 / 32 74.3 % 214 / 288
function_symbol.h
100.0%
 100.0 % 31 / 31 100.0 % 15 / 15
function_symbol_generator.h
100.0%
 100.0 % 17 / 17 100.0 % 4 / 4
indexed_set.h
90.9%90.9%
 90.9 % 10 / 11 100.0 % 11 / 11
set_operations.h
78.9%78.9%
 78.9 % 15 / 19 100.0 % 3 / 3

Generated by: LCOV version 1.12