LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 501 508 98.6 %
Date: 2020-01-17 00:44:36 Functions: 1348 1719 78.4 %
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.4 % 236 / 264
aterm_appl.h
100.0%
 100.0 % 38 / 38 75.7 % 293 / 387
aterm_balanced_tree.h
99.1%99.1%
 99.1 % 115 / 116 87.2 % 75 / 86
aterm_int.h
77.8%77.8%
 77.8 % 7 / 9 66.7 % 4 / 6
aterm_io.h
100.0%
 100.0 % 29 / 29 100.0 % 18 / 18
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 % 66 / 66 76.3 % 531 / 696
aterm_string.h
100.0%
 100.0 % 19 / 19 100.0 % 10 / 10
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