LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/substitutions Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 236 298 79.2 %
Date: 2024-03-08 02:52:28 Functions: 67 81 82.7 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
assignment_sequence_substitution.h
100.0%
100.0 % 8 / 8 100.0 % 2 / 2
enumerator_substitution.h
75.5%75.5%
75.5 % 40 / 53 83.3 % 10 / 12
maintain_variables_in_rhs.h
100.0%
100.0 % 27 / 27 100.0 % 5 / 5
map_substitution.h
62.5%62.5%
62.5 % 10 / 16 75.0 % 3 / 4
mutable_indexed_substitution.h
77.6%77.6%
77.6 % 66 / 85 73.3 % 11 / 15
mutable_map_substitution.h
98.2%98.2%
98.2 % 56 / 57 100.0 % 26 / 26
mutable_substitution_composer.h
0.0%
0.0 % 0 / 5 0.0 % 0 / 2
sequence_sequence_substitution.h
50.0%50.0%
50.0 % 13 / 26 60.0 % 6 / 10
sort_expression_assignment.h
100.0%
100.0 % 8 / 8 100.0 % 2 / 2
variable_substitution.h
61.5%61.5%
61.5 % 8 / 13 66.7 % 2 / 3

Generated by: LCOV version 1.14