LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1319 1709 77.2 %
Date: 2020-01-19 00:33:35 Functions: 403 567 71.1 %
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
100.0%
100.0 % 13 / 13 100.0 % 8 / 8
lts.h
95.4%95.4%
95.4 % 124 / 130 73.5 % 75 / 102
lts_algorithm.h
81.4%81.4%
81.4 % 288 / 354 100.0 % 9 / 9
lts_aut.h
100.0%
100.0 % 6 / 6 100.0 % 10 / 10
lts_builder.h
64.0%64.0%
64.0 % 73 / 114 55.3 % 21 / 38
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
66.7%66.7%
66.7 % 46 / 69 92.6 % 25 / 27
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 % 55 / 55 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.4%31.4%
31.4 % 94 / 299 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