LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 505 608 83.1 %
Date: 2020-08-12 00:34:17 Functions: 170 205 82.9 %
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
100.0%
100.0 % 14 / 14 100.0 % 4 / 4
data_functional.h
80.0%80.0%
80.0 % 8 / 10 85.7 % 6 / 7
data_property_map.h
85.8%85.8%
85.8 % 103 / 120 76.6 % 72 / 94
data_sequence_algorithm.h
100.0%
100.0 % 8 / 8 100.0 % 1 / 1
data_utility.h
71.7%71.7%
71.7 % 38 / 53 92.9 % 13 / 14
enumerator_identifier_generator.h
100.0%
100.0 % 9 / 9 100.0 % 4 / 4
enumerator_iteration_limit.h
100.0%
100.0 % 2 / 2 100.0 % 1 / 1
equal_sorts.h
77.8%77.8%
77.8 % 7 / 9 100.0 % 1 / 1
io.h
100.0%
100.0 % 20 / 20 100.0 % 4 / 4
is_untyped.h
52.0%52.0%
52.0 % 13 / 25 50.0 % 4 / 8
linear_inequalities_utilities.h
61.0%61.0%
61.0 % 61 / 100 42.9 % 3 / 7
move_constants_to_substitution.h
100.0%
100.0 % 22 / 22 100.0 % 2 / 2
one_point_rule_preprocessor.h
100.0%
100.0 % 22 / 22 100.0 % 1 / 1
parse_substitution.h
100.0%
100.0 % 13 / 13 100.0 % 2 / 2
print_utility.h
96.2%96.2%
96.2 % 25 / 26 100.0 % 2 / 2
rewrite.h
100.0%
100.0 % 19 / 19 83.3 % 5 / 6
rewrite_strategies.h
88.9%88.9%
88.9 % 8 / 9 100.0 % 2 / 2
rewriter_wrapper.h
100.0%
100.0 % 8 / 8 100.0 % 3 / 3
sequence_algorithm.h
53.8%53.8%
53.8 % 7 / 13 71.4 % 5 / 7
split_finite_variables.h
95.0%95.0%
95.0 % 19 / 20 100.0 % 2 / 2
test_rewriters.h
91.2%91.2%
91.2 % 52 / 57 100.0 % 22 / 22
variable_context.h
93.1%93.1%
93.1 % 27 / 29 100.0 % 11 / 11

Generated by: LCOV version 1.13