LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 965 1091 88.5 %
Date: 2019-06-20 00:49:45 Functions: 293 360 81.4 %
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 88.9 % 24 / 27
lts_algorithm.h
82.6%82.6%
82.6 % 247 / 299 100.0 % 9 / 9
parse.h
82.9%82.9%
82.9 % 68 / 82 90.9 % 10 / 11
lts_fsm.h
90.2%90.2%
90.2 % 37 / 41 85.7 % 18 / 21
lts.h
94.6%94.6%
94.6 % 123 / 130 67.0 % 69 / 103
sigref.h
94.6%94.6%
94.6 % 141 / 149 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
lts_utilities.h
100.0%
100.0 % 52 / 52 100.0 % 14 / 14
probabilistic_state.h
100.0%
100.0 % 56 / 56 100.0 % 30 / 30
probabilistic_arbitrary_precision_fraction.h
100.0%
100.0 % 116 / 116 100.0 % 30 / 30

Generated by: LCOV version 1.12