LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/substitutions Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 236 270 87.4 %
Date: 2019-08-22 00:56:55 Functions: 75 85 88.2 %
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
74.4%74.4%
74.4 % 32 / 43 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
93.9%93.9%
93.9 % 77 / 82 84.6 % 11 / 13
mutable_map_substitution.h
98.3%98.3%
98.3 % 57 / 58 100.0 % 30 / 30
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 % 8 / 8 100.0 % 3 / 3
variable_substitution.h
100.0%
100.0 % 7 / 7 100.0 % 2 / 2

Generated by: LCOV version 1.12