LCOV - code coverage report
Current view: top level - lps/include/mcrl2/lps/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 480 595 80.7 %
Date: 2020-09-22 00:46:14 Functions: 93 123 75.6 %
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
72.0%72.0%
72.0 % 211 / 293 56.6 % 30 / 53
action_utility.h
81.8%81.8%
81.8 % 9 / 11 100.0 % 2 / 2
parameter_selection.h
87.1%87.1%
87.1 % 27 / 31 75.0 % 3 / 4
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