LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 849 984 86.3 %
Date: 2020-08-12 00:34:17 Functions: 2947 4357 67.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_impl.h
76.8%76.8%
76.8 % 43 / 56 91.7 % 11 / 12
aterm.h
100.0%
100.0 % 20 / 20 100.0 % 7 / 7
aterm_appl.h
76.5%76.5%
76.5 % 39 / 51 71.7 % 210 / 293
aterm_appl_iterator.h
85.3%85.3%
85.3 % 29 / 34 81.8 % 18 / 22
aterm_hash.h
97.3%97.3%
97.3 % 71 / 73 84.5 % 1174 / 1390
aterm_int.h
83.3%83.3%
83.3 % 5 / 6 66.7 % 2 / 3
aterm_list.h
100.0%
100.0 % 4 / 4 100.0 % 36 / 36
aterm_list_implementation.h
64.9%64.9%
64.9 % 100 / 154 65.9 % 249 / 378
aterm_list_iterator.h
90.6%90.6%
90.6 % 29 / 32 83.5 % 172 / 206
aterm_pool.h
100.0%
100.0 % 5 / 5 100.0 % 5 / 5
aterm_pool_implementation.h
79.8%79.8%
79.8 % 174 / 218 92.2 % 213 / 231
aterm_pool_storage.h
66.7%66.7%
66.7 % 2 / 3 66.7 % 20 / 30
aterm_pool_storage_implementation.h
100.0%
100.0 % 121 / 121 46.1 % 779 / 1691
function_symbol.h
100.0%
100.0 % 10 / 10 100.0 % 5 / 5
function_symbol_hash.h
100.0%
100.0 % 14 / 14 100.0 % 6 / 6
function_symbol_pool.h
100.0%
100.0 % 3 / 3 100.0 % 3 / 3
global_aterm_pool.h
100.0%
100.0 % 5 / 5 100.0 % 2 / 2
shared_subset.h
100.0%
100.0 % 175 / 175 94.6 % 35 / 37

Generated by: LCOV version 1.13