LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 931 1094 85.1 %
Date: 2019-07-19 02:46:18 Functions: 3144 4464 70.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 91.7 % 11 / 12
aterm.h
100.0%
100.0 % 22 / 22 100.0 % 8 / 8
aterm_appl.h
75.5%75.5%
75.5 % 37 / 49 71.6 % 217 / 303
aterm_appl_iterator.h
84.4%84.4%
84.4 % 27 / 32 85.0 % 17 / 20
aterm_hash.h
95.4%95.4%
95.4 % 83 / 87 85.3 % 1266 / 1485
aterm_int.h
83.3%83.3%
83.3 % 5 / 6 66.7 % 2 / 3
aterm_io_implementation.h
37.3%37.3%
37.3 % 19 / 51 100.0 % 3 / 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 75.2 % 239 / 318
aterm_list_iterator.h
90.6%90.6%
90.6 % 29 / 32 84.1 % 175 / 208
aterm_pool.h
100.0%
100.0 % 5 / 5 100.0 % 5 / 5
aterm_pool_implementation.h
82.4%82.4%
82.4 % 150 / 182 94.2 % 226 / 240
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 % 113 / 113 49.4 % 851 / 1722
function_symbol.h
100.0%
100.0 % 10 / 10 100.0 % 5 / 5
function_symbol_hash.h
100.0%
100.0 % 17 / 17 100.0 % 8 / 8
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
indexed_set.h
88.5%88.5%
88.5 % 100 / 113 93.8 % 15 / 16
shared_subset.h
100.0%
100.0 % 174 / 174 94.6 % 35 / 37

Generated by: LCOV version 1.12