LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 986 1104 89.3 %
Date: 2019-09-14 00:54:39 Functions: 293 354 82.8 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
lts_dot.h
0.0%
0.0 % 0 / 16 0.0 % 0 / 14
state_label_empty.h
66.7%66.7%
66.7 % 4 / 6 66.7 % 2 / 3
lts_lts.h
66.7%66.7%
66.7 % 46 / 69 92.3 % 24 / 26
lts_algorithm.h
82.7%82.7%
82.7 % 248 / 300 100.0 % 9 / 9
lts_fsm.h
90.2%90.2%
90.2 % 37 / 41 85.7 % 18 / 21
parse.h
92.7%92.7%
92.7 % 76 / 82 100.0 % 11 / 11
lts.h
94.4%94.4%
94.4 % 119 / 126 69.4 % 68 / 98
sigref.h
94.7%94.7%
94.7 % 142 / 150 91.4 % 32 / 35
lts_aut.h
100.0%
100.0 % 7 / 7 100.0 % 11 / 11
action_label_string.h
100.0%
100.0 % 11 / 11 100.0 % 7 / 7
transition.h
100.0%
100.0 % 20 / 20 100.0 % 9 / 9
probabilistic_lts.h
100.0%
100.0 % 37 / 37 77.8 % 28 / 36
probabilistic_state.h
100.0%
100.0 % 56 / 56 100.0 % 29 / 29
lts_utilities.h
100.0%
100.0 % 67 / 67 100.0 % 15 / 15
probabilistic_arbitrary_precision_fraction.h
100.0%
100.0 % 116 / 116 100.0 % 30 / 30

Generated by: LCOV version 1.12