LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1044 1176 88.8 %
Date: 2024-04-21 03:44:01 Functions: 7458 20562 36.3 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
aterm_list_implementation.h
67.0%67.0%
67.0 % 128 / 191 50.8 % 823 / 1619
aterm_pool_storage.h
75.0%75.0%
75.0 % 3 / 4 100.0 % 20 / 20
algorithm_impl.h
76.8%76.8%
76.8 % 43 / 56 84.6 % 11 / 13
aterm_appl.h
79.6%79.6%
79.6 % 39 / 49 70.4 % 190 / 270
aterm_appl_iterator.h
85.3%85.3%
85.3 % 29 / 34 81.8 % 18 / 22
aterm_pool_implementation.h
87.9%87.9%
87.9 % 197 / 224 32.6 % 818 / 2508
index_traits.h
93.3%93.3%
93.3 % 28 / 30 100.0 % 7 / 7
thread_aterm_pool.h
94.7%94.7%
94.7 % 18 / 19 83.3 % 5 / 6
aterm_list_iterator.h
95.0%95.0%
95.0 % 57 / 60 79.1 % 197 / 249
aterm_hash.h
97.1%97.1%
97.1 % 67 / 69 80.2 % 1095 / 1366
aterm_container.h
97.6%97.6%
97.6 % 81 / 83 67.3 % 103 / 153
aterm_pool_storage_implementation.h
98.6%98.6%
98.6 % 141 / 143 27.8 % 3263 / 11724
thread_aterm_pool_implementation.h
98.9%98.9%
98.9 % 92 / 93 32.6 % 821 / 2518
function_symbol_pool.h
100.0%
100.0 % 5 / 5 100.0 % 5 / 5
global_aterm_pool.h
100.0%
100.0 % 5 / 5 100.0 % 2 / 2
aterm_int.h
100.0%
100.0 % 5 / 5 100.0 % 2 / 2
aterm_list.h
100.0%
100.0 % 7 / 7 100.0 % 39 / 39
function_symbol.h
100.0%
100.0 % 8 / 8 100.0 % 3 / 3
function_symbol_hash.h
100.0%
100.0 % 12 / 12 100.0 % 5 / 5
aterm.h
100.0%
100.0 % 13 / 13 100.0 % 5 / 5
aterm_pool.h
100.0%
100.0 % 21 / 21 100.0 % 11 / 11
aterm_implementation.h
100.0%
100.0 % 45 / 45 100.0 % 15 / 15

Generated by: LCOV version 1.14