LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 491 500 98.2 %
Date: 2019-08-22 00:56:55 Functions: 1483 1796 82.6 %
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 89.6 % 240 / 268
aterm_appl.h
100.0%
 100.0 % 39 / 39 79.3 % 303 / 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.8 % 538 / 658
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
set_operations.h
78.9%78.9%
 78.9 % 15 / 19 100.0 % 3 / 3

Generated by: LCOV version 1.12