LCOV - code coverage report
Current view: top level - lps/include/mcrl2/lps/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 444 564 78.7 %
Date: 2020-02-19 00:44:21 Functions: 89 119 74.8 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
make_timed_lps.h
67.9%67.9%
67.9 % 19 / 28 75.0 % 3 / 4
linear_process_conversion_traverser.h
68.9%68.9%
68.9 % 202 / 293 54.7 % 29 / 53
action_utility.h
81.8%81.8%
81.8 % 9 / 11 100.0 % 2 / 2
specification_property_map.h
87.9%87.9%
87.9 % 102 / 116 95.7 % 22 / 23
lps_algorithm.h
93.9%93.9%
93.9 % 46 / 49 78.9 % 15 / 19
instantiate_global_variables.h
94.1%94.1%
94.1 % 16 / 17 100.0 % 4 / 4
test_input.h
100.0%
100.0 % 4 / 4 100.0 % 2 / 2
move_constants_to_substitution.h
100.0%
100.0 % 23 / 23 100.0 % 2 / 2
ultimate_delay.h
100.0%
100.0 % 23 / 23 100.0 % 10 / 10

Generated by: LCOV version 1.13