LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 510 613 83.2 %
Date: 2019-07-19 02:46:18 Functions: 171 206 83.0 %
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 83.3 % 5 / 6
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_variable_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 % 24 / 24 100.0 % 6 / 6
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 % 24 / 24 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.1%91.1%
91.1 % 51 / 56 100.0 % 22 / 22
variable_context.h
93.1%93.1%
93.1 % 27 / 29 100.0 % 11 / 11

Generated by: LCOV version 1.12