LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1700 2248 75.6 %
Date: 2024-04-19 03:43:27 Functions: 391 549 71.2 %
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
88.6%88.6%
 88.6 % 62 / 70 100.0 % 10 / 10
lts.h
98.5%98.5%
 98.5 % 191 / 194 77.9 % 81 / 104
lts_algorithm.h
81.6%81.6%
 81.6 % 311 / 381 100.0 % 9 / 9
lts_aut.h
100.0%
 100.0 % 6 / 6 100.0 % 3 / 3
lts_builder.h
53.4%53.4%
 53.4 % 79 / 148 51.7 % 15 / 29
lts_dot.h
0.0%
 0.0 % 0 / 13 0.0 % 0 / 6
lts_fsm.h
86.8%86.8%
 86.8 % 33 / 38 84.6 % 11 / 13
lts_lts.h
57.3%57.3%
 57.3 % 59 / 103 92.0 % 23 / 25
lts_utilities.h
90.1%90.1%
 90.1 % 73 / 81 92.9 % 13 / 14
parse.h
91.5%91.5%
 91.5 % 75 / 82 100.0 % 10 / 10
probabilistic_arbitrary_precision_fraction.h
100.0%
 100.0 % 119 / 119 100.0 % 25 / 25
probabilistic_lts.h
100.0%
 100.0 % 38 / 38 81.8 % 27 / 33
probabilistic_state.h
94.2%94.2%
 94.2 % 81 / 86 100.0 % 32 / 32
sigref.h
94.0%94.0%
 94.0 % 140 / 149 89.3 % 25 / 28
simulation.h
0.0%
 0.0 % 0 / 2 0.0 % 0 / 2
state_label_empty.h
100.0%
 100.0 % 6 / 6 100.0 % 3 / 3
state_space_generator.h
32.9%32.9%
 32.9 % 117 / 356 37.3 % 53 / 142
stochastic_lts_builder.h
90.0%90.0%
 90.0 % 117 / 130 80.8 % 21 / 26
trace.h
76.7%76.7%
 76.7 % 174 / 227 81.5 % 22 / 27
transition.h
100.0%
 100.0 % 19 / 19 100.0 % 8 / 8

Generated by: LCOV version 1.14