LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3126 3576 87.4 %
Date: 2019-07-19 02:46:18 Functions: 570 722 78.9 %
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
9.5%9.5%
9.5 % 2 / 21 28.6 % 2 / 7
check_complexity.h
79.6%79.6%
79.6 % 223 / 280 100.0 % 57 / 57
counter_example.h
19.5%19.5%
19.5 % 8 / 41 25.0 % 4 / 16
embedded_list.h
97.9%97.9%
97.9 % 94 / 96 100.0 % 94 / 94
exploration.h
65.2%65.2%
65.2 % 15 / 23 33.3 % 5 / 15
fixed_vector.h
100.0%
100.0 % 4 / 4 75.7 % 28 / 37
fsm_builder.h
72.7%72.7%
72.7 % 80 / 110 91.3 % 21 / 23
liblts_bisim.h
88.5%88.5%
88.5 % 437 / 494 100.0 % 26 / 26
liblts_bisim_gjkw.h
92.5%92.5%
92.5 % 589 / 637 82.1 % 161 / 196
liblts_failures_refinement.h
89.3%89.3%
89.3 % 183 / 205 67.6 % 25 / 37
liblts_merge.h
83.9%83.9%
83.9 % 26 / 31 33.3 % 1 / 3
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.4%92.4%
92.4 % 97 / 105 34.9 % 15 / 43
liblts_sim.h
84.2%84.2%
84.2 % 324 / 385 73.3 % 22 / 30
liblts_swap_to_from_probabilistic_lts.h
61.9%61.9%
61.9 % 13 / 21 33.3 % 1 / 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
77.2%77.2%
77.2 % 71 / 92 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.12