LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1370 1789 76.6 %
Date: 2020-08-12 00:34:17 Functions: 406 576 70.5 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
action_label_string.h
95.3%95.3%
95.3 % 41 / 43 100.0 % 10 / 10
lts.h
95.7%95.7%
95.7 % 134 / 140 73.3 % 74 / 101
lts_algorithm.h
81.2%81.2%
81.2 % 289 / 356 100.0 % 9 / 9
lts_aut.h
100.0%
100.0 % 6 / 6 100.0 % 10 / 10
lts_builder.h
54.3%54.3%
54.3 % 76 / 140 47.7 % 21 / 44
lts_dot.h
0.0%
0.0 % 0 / 16 0.0 % 0 / 15
lts_fsm.h
90.2%90.2%
90.2 % 37 / 41 90.5 % 19 / 21
lts_lts.h
68.9%68.9%
68.9 % 51 / 74 93.1 % 27 / 29
lts_utilities.h
100.0%
100.0 % 76 / 76 100.0 % 14 / 14
parse.h
92.4%92.4%
92.4 % 73 / 79 100.0 % 11 / 11
probabilistic_arbitrary_precision_fraction.h
100.0%
100.0 % 119 / 119 100.0 % 30 / 30
probabilistic_lts.h
100.0%
100.0 % 37 / 37 77.8 % 28 / 36
probabilistic_state.h
100.0%
100.0 % 59 / 59 100.0 % 29 / 29
sigref.h
94.7%94.7%
94.7 % 143 / 151 91.4 % 32 / 35
state_label_empty.h
66.7%66.7%
66.7 % 4 / 6 66.7 % 2 / 3
state_space_generator.h
31.1%31.1%
31.1 % 94 / 302 39.6 % 53 / 134
stochastic_lts_builder.h
89.6%89.6%
89.6 % 112 / 125 78.4 % 29 / 37
transition.h
100.0%
100.0 % 19 / 19 100.0 % 8 / 8

Generated by: LCOV version 1.13