LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1041 1172 88.8 %
Date: 2024-03-08 02:52:28 Functions: 7008 20397 34.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_impl.h
76.8%76.8%
76.8 % 43 / 56 84.6 % 11 / 13
aterm.h
100.0%
100.0 % 13 / 13 100.0 % 5 / 5
aterm_appl.h
79.6%79.6%
79.6 % 39 / 49 67.0 % 181 / 270
aterm_appl_iterator.h
85.3%85.3%
85.3 % 29 / 34 81.8 % 18 / 22
aterm_container.h
97.6%97.6%
97.6 % 81 / 83 65.8 % 98 / 149
aterm_hash.h
97.1%97.1%
97.1 % 67 / 69 75.6 % 1033 / 1366
aterm_implementation.h
100.0%
100.0 % 45 / 45 100.0 % 14 / 14
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
aterm_list_implementation.h
67.0%67.0%
67.0 % 128 / 191 49.3 % 797 / 1615
aterm_list_iterator.h
95.0%95.0%
95.0 % 57 / 60 79.1 % 197 / 249
aterm_pool.h
100.0%
100.0 % 21 / 21 100.0 % 11 / 11
aterm_pool_implementation.h
87.9%87.9%
87.9 % 196 / 223 30.5 % 757 / 2482
aterm_pool_storage.h
100.0%
100.0 % 2 / 2 100.0 % 20 / 20
aterm_pool_storage_implementation.h
98.6%98.6%
98.6 % 141 / 143 26.2 % 3040 / 11621
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
function_symbol_pool.h
100.0%
100.0 % 4 / 4 100.0 % 4 / 4
global_aterm_pool.h
100.0%
100.0 % 5 / 5 100.0 % 2 / 2
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
thread_aterm_pool_implementation.h
98.9%98.9%
98.9 % 92 / 93 30.5 % 759 / 2492

Generated by: LCOV version 1.14