LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 590 611 96.6 %
Date: 2024-04-19 03:43:27 Functions: 1990 4084 48.7 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
set_operations.h
81.0%81.0%
 81.0 % 17 / 21 100.0 % 3 / 3
aterm_string.h
88.9%88.9%
 88.9 % 24 / 27 90.9 % 10 / 11
algorithm.h
92.8%92.8%
 92.8 % 77 / 83 93.7 % 59 / 63
aterm_int.h
94.1%94.1%
 94.1 % 16 / 17 85.7 % 6 / 7
aterm_balanced_tree.h
95.7%95.7%
 95.7 % 133 / 139 82.6 % 119 / 144
function_symbol.h
95.8%95.8%
 95.8 % 23 / 24 92.3 % 12 / 13
builder.h
100.0%
 100.0 % 31 / 31 59.2 % 100 / 169
function_symbol_generator.h
100.0%
 100.0 % 32 / 32 100.0 % 6 / 6
aterm_io.h
100.0%
 100.0 % 45 / 45 85.0 % 34 / 40
aterm.h
100.0%
 100.0 % 51 / 51 86.6 % 213 / 246
aterm_appl.h
100.0%
 100.0 % 53 / 53 33.5 % 858 / 2561
aterm_list.h
100.0%
 100.0 % 88 / 88 69.4 % 570 / 821

Generated by: LCOV version 1.14