LCOV - code coverage report
Current view: top level - lps/include/mcrl2/lps/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 441 561 78.6 %
Date: 2019-08-22 00:56:55 Functions: 87 117 74.4 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

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

Generated by: LCOV version 1.12