LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 524 532 98.5 %
Date: 2021-04-15 00:46:37 Functions: 1279 1580 80.9 %
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 % 77 / 77 89.0 % 235 / 264
aterm_appl.h
100.0%
 100.0 % 35 / 35 91.1 % 195 / 214
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 % 48 / 48 95.6 % 43 / 45
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