LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 832 960 86.7 %
Date: 2020-01-19 00:33:35 Functions: 3019 4405 68.5 %
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 72.8 % 217 / 298
aterm_appl_iterator.h
85.3%85.3%
85.3 % 29 / 34 86.4 % 19 / 22
aterm_hash.h
97.3%97.3%
97.3 % 71 / 73 85.3 % 1230 / 1442
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
63.8%63.8%
63.8 % 83 / 130 65.7 % 243 / 370
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.3 % 217 / 235
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.8 % 789 / 1686
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