LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 588 611 96.2 %
Date: 2024-03-08 02:52:28 Functions: 1888 4055 46.6 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
algorithm.h
92.8%92.8%
92.8 % 77 / 83 93.7 % 59 / 63
aterm.h
96.1%96.1%
96.1 % 49 / 51 77.5 % 189 / 244
aterm_appl.h
100.0%
100.0 % 53 / 53 31.1 % 789 / 2535
aterm_balanced_tree.h
95.7%95.7%
95.7 % 133 / 139 82.6 % 119 / 144
aterm_int.h
94.1%94.1%
94.1 % 16 / 17 85.7 % 6 / 7
aterm_io.h
100.0%
100.0 % 45 / 45 85.0 % 34 / 40
aterm_list.h
100.0%
100.0 % 88 / 88 68.4 % 561 / 820
aterm_string.h
88.9%88.9%
88.9 % 24 / 27 90.9 % 10 / 11
builder.h
100.0%
100.0 % 31 / 31 59.2 % 100 / 169
function_symbol.h
95.8%95.8%
95.8 % 23 / 24 92.3 % 12 / 13
function_symbol_generator.h
100.0%
100.0 % 32 / 32 100.0 % 6 / 6
set_operations.h
81.0%81.0%
81.0 % 17 / 21 100.0 % 3 / 3

Generated by: LCOV version 1.14