LCOV - code coverage report
Current view: top level - lps/include/mcrl2/lps/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 461 606 76.1 %
Date: 2024-03-08 02:52:28 Functions: 85 119 71.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
94.4%94.4%
94.4 % 17 / 18 100.0 % 4 / 4
linear_process_conversion_traverser.h
72.5%72.5%
72.5 % 211 / 291 55.3 % 26 / 47
lps_algorithm.h
94.1%94.1%
94.1 % 48 / 51 77.3 % 17 / 22
lps_command.h
0.0%
0.0 % 0 / 10 0.0 % 0 / 3
lps_io.h
0.0%
0.0 % 0 / 20 0.0 % 0 / 2
make_timed_lps.h
69.2%69.2%
69.2 % 18 / 26 75.0 % 3 / 4
parameter_selection.h
88.2%88.2%
88.2 % 30 / 34 75.0 % 3 / 4
specification_property_map.h
85.7%85.7%
85.7 % 102 / 119 95.2 % 20 / 21
test_input.h
100.0%
100.0 % 4 / 4 100.0 % 2 / 2
ultimate_delay.h
100.0%
100.0 % 22 / 22 100.0 % 8 / 8

Generated by: LCOV version 1.14