LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4721 5399 87.4 %
Date: 2020-01-19 00:33:35 Functions: 704 828 85.0 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
bithashtable.h
10.0%10.0%
10.0 % 2 / 20 28.6 % 2 / 7
check_complexity.h
83.4%83.4%
83.4 % 216 / 259 100.0 % 57 / 57
counter_example.h
18.6%18.6%
18.6 % 8 / 43 25.0 % 4 / 16
embedded_list.h
97.9%97.9%
97.9 % 93 / 95 100.0 % 89 / 89
exploration.h
65.2%65.2%
65.2 % 15 / 23 33.3 % 5 / 15
fixed_vector.h
100.0%
100.0 % 4 / 4 90.3 % 28 / 31
fsm_builder.h
92.9%92.9%
92.9 % 105 / 113 100.0 % 23 / 23
liblts_bisim.h
88.3%88.3%
88.3 % 438 / 496 100.0 % 26 / 26
liblts_bisim_dnj.h
86.2%86.2%
86.2 % 1649 / 1913 92.0 % 138 / 150
liblts_bisim_gjkw.h
91.1%91.1%
91.1 % 510 / 560 82.4 % 159 / 193
liblts_failures_refinement.h
87.8%87.8%
87.8 % 180 / 205 67.6 % 25 / 37
liblts_merge.h
86.7%86.7%
86.7 % 26 / 30 100.0 % 1 / 1
liblts_pbisim_bem.h
99.7%99.7%
99.7 % 285 / 286 96.3 % 26 / 27
liblts_pbisim_grv.h
99.1%99.1%
99.1 % 428 / 432 94.0 % 47 / 50
liblts_ready_sim.h
89.9%89.9%
89.9 % 89 / 99 85.7 % 6 / 7
liblts_scc.h
92.6%92.6%
92.6 % 100 / 108 100.0 % 15 / 15
liblts_sim.h
84.2%84.2%
84.2 % 326 / 387 73.3 % 22 / 30
liblts_swap_to_from_probabilistic_lts.h
90.5%90.5%
90.5 % 19 / 21 66.7 % 2 / 3
liblts_tau_star_reduce.h
100.0%
100.0 % 104 / 104 100.0 % 4 / 4
liblts_weak_bisim.h
73.3%73.3%
73.3 % 11 / 15 50.0 % 1 / 2
lts_convert.h
76.9%76.9%
76.9 % 70 / 91 57.9 % 11 / 19
lts_generation_options.h
100.0%
100.0 % 5 / 5 100.0 % 3 / 3
queue.h
0.0%
0.0 % 0 / 41 0.0 % 0 / 8
sim_hashtable.h
54.5%54.5%
54.5 % 12 / 22 50.0 % 5 / 10
transition.h
96.3%96.3%
96.3 % 26 / 27 100.0 % 5 / 5

Generated by: LCOV version 1.13