LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 5229 6009 87.0 %
Date: 2024-03-08 02:52:28 Functions: 651 745 87.4 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
check_complexity.h
79.6%79.6%
79.6 % 207 / 260 100.0 % 48 / 48
counter_example.h
16.1%16.1%
16.1 % 10 / 62 35.7 % 5 / 14
embedded_list.h
97.9%97.9%
97.9 % 93 / 95 100.0 % 89 / 89
fixed_vector.h
100.0%
100.0 % 3 / 3 100.0 % 19 / 19
fsm_builder.h
92.7%92.7%
92.7 % 114 / 123 100.0 % 20 / 20
liblts_bisim.h
79.8%79.8%
79.8 % 399 / 500 75.0 % 18 / 24
liblts_bisim_dnj.h
87.4%87.4%
87.4 % 1682 / 1925 91.7 % 132 / 144
liblts_bisim_gjkw.h
90.9%90.9%
90.9 % 521 / 573 82.8 % 154 / 186
liblts_bisim_minimal_depth.h
84.0%84.0%
84.0 % 225 / 268 94.4 % 17 / 18
liblts_coupledsim.h
86.9%86.9%
86.9 % 206 / 237 85.7 % 6 / 7
liblts_failures_refinement.h
78.2%78.2%
78.2 % 190 / 243 66.7 % 22 / 33
liblts_merge.h
93.5%93.5%
93.5 % 29 / 31 100.0 % 1 / 1
liblts_pbisim_bem.h
98.7%98.7%
98.7 % 293 / 297 100.0 % 14 / 14
liblts_pbisim_grv.h
98.5%98.5%
98.5 % 453 / 460 100.0 % 36 / 36
liblts_plts_merge.h
82.2%82.2%
82.2 % 37 / 45 100.0 % 1 / 1
liblts_ready_sim.h
89.0%89.0%
89.0 % 89 / 100 85.7 % 6 / 7
liblts_scc.h
99.1%99.1%
99.1 % 108 / 109 100.0 % 14 / 14
liblts_sim.h
82.6%82.6%
82.6 % 327 / 396 73.3 % 22 / 30
liblts_swap_to_from_probabilistic_lts.h
89.5%89.5%
89.5 % 17 / 19 66.7 % 2 / 3
liblts_tau_star_reduce.h
99.0%99.0%
99.0 % 104 / 105 100.0 % 4 / 4
liblts_weak_bisim.h
76.5%76.5%
76.5 % 13 / 17 50.0 % 1 / 2
lts_convert.h
77.4%77.4%
77.4 % 72 / 93 62.5 % 10 / 16
sim_hashtable.h
54.5%54.5%
54.5 % 12 / 22 50.0 % 5 / 10
transition.h
96.2%96.2%
96.2 % 25 / 26 100.0 % 5 / 5

Generated by: LCOV version 1.14