LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 533 657 81.1 %
Date: 2024-03-08 02:52:28 Functions: 165 227 72.7 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
data_construction.h
93.3%93.3%
93.3 % 14 / 15 100.0 % 4 / 4
data_functional.h
77.8%77.8%
77.8 % 7 / 9 75.0 % 3 / 4
data_property_map.h
86.0%86.0%
86.0 % 111 / 129 65.4 % 70 / 107
data_sequence_algorithm.h
100.0%
100.0 % 9 / 9 100.0 % 1 / 1
data_utility.h
72.4%72.4%
72.4 % 42 / 58 100.0 % 13 / 13
enumerator_identifier_generator.h
100.0%
100.0 % 8 / 8 100.0 % 3 / 3
enumerator_iteration_limit.h
100.0%
100.0 % 5 / 5 100.0 % 2 / 2
equal_sorts.h
77.8%77.8%
77.8 % 7 / 9 100.0 % 1 / 1
function_update.h
100.0%
100.0 % 16 / 16 100.0 % 2 / 2
io.h
87.5%87.5%
87.5 % 14 / 16 100.0 % 4 / 4
is_untyped.h
52.0%52.0%
52.0 % 13 / 25 50.0 % 4 / 8
linear_inequalities_utilities.h
61.5%61.5%
61.5 % 64 / 104 42.9 % 3 / 7
one_point_rule_preprocessor.h
100.0%
100.0 % 24 / 24 100.0 % 1 / 1
parse_substitution.h
100.0%
100.0 % 13 / 13 100.0 % 2 / 2
print_utility.h
92.9%92.9%
92.9 % 26 / 28 100.0 % 2 / 2
rewrite.h
87.1%87.1%
87.1 % 27 / 31 66.7 % 6 / 9
rewrite_strategies.h
80.0%80.0%
80.0 % 8 / 10 100.0 % 2 / 2
rewriter_wrapper.h
100.0%
100.0 % 11 / 11 100.0 % 4 / 4
sequence_algorithm.h
50.0%50.0%
50.0 % 8 / 16 62.5 % 5 / 8
split_finite_variables.h
87.5%87.5%
87.5 % 14 / 16 28.6 % 4 / 14
test_rewriters.h
85.7%85.7%
85.7 % 66 / 77 100.0 % 21 / 21
variable_context.h
92.9%92.9%
92.9 % 26 / 28 100.0 % 8 / 8

Generated by: LCOV version 1.14