LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/substitutions Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 244 278 87.8 %
Date: 2020-01-24 00:44:30 Functions: 77 87 88.5 %
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.0%75.0%
75.0 % 33 / 44 84.6 % 11 / 13
maintain_variables_in_rhs.h
100.0%
100.0 % 25 / 25 100.0 % 7 / 7
map_substitution.h
100.0%
100.0 % 10 / 10 100.0 % 3 / 3
mutable_indexed_substitution.h
94.1%94.1%
94.1 % 80 / 85 85.7 % 12 / 14
mutable_map_substitution.h
98.3%98.3%
98.3 % 59 / 60 100.0 % 31 / 31
mutable_substitution_composer.h
0.0%
0.0 % 0 / 5 0.0 % 0 / 2
sequence_sequence_substitution.h
50.0%50.0%
50.0 % 12 / 24 60.0 % 6 / 10
sort_expression_assignment.h
100.0%
100.0 % 9 / 9 100.0 % 3 / 3
variable_substitution.h
100.0%
100.0 % 8 / 8 100.0 % 2 / 2

Generated by: LCOV version 1.13