LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Filename | Line Coverage | Functions | ||||
counter_example.h |
|
16.1 % | 10 / 62 | 35.7 % | 5 / 14 | |
sim_hashtable.h |
|
54.5 % | 12 / 22 | 50.0 % | 5 / 10 | |
liblts_weak_bisim.h |
|
76.5 % | 13 / 17 | 50.0 % | 1 / 2 | |
lts_convert.h |
|
76.6 % | 98 / 128 | 66.7 % | 16 / 24 | |
liblts_failures_refinement.h |
|
78.2 % | 190 / 243 | 66.7 % | 22 / 33 | |
liblts_bisim.h |
|
79.5 % | 383 / 482 | 73.9 % | 17 / 23 | |
check_complexity.h |
|
79.6 % | 207 / 260 | 100.0 % | 48 / 48 | |
liblts_plts_merge.h |
|
80.9 % | 38 / 47 | 100.0 % | 1 / 1 | |
liblts_sim.h |
|
82.6 % | 327 / 396 | 73.3 % | 22 / 30 | |
liblts_bisim_minimal_depth.h |
|
84.2 % | 240 / 285 | 94.7 % | 18 / 19 | |
liblts_coupledsim.h |
|
86.9 % | 206 / 237 | 85.7 % | 6 / 7 | |
liblts_bisim_dnj.h |
|
87.4 % | 1682 / 1925 | 91.7 % | 132 / 144 | |
liblts_ready_sim.h |
|
89.0 % | 89 / 100 | 85.7 % | 6 / 7 | |
liblts_swap_to_from_probabilistic_lts.h |
|
89.5 % | 17 / 19 | 66.7 % | 2 / 3 | |
liblts_bisim_gjkw.h |
|
90.9 % | 521 / 573 | 82.8 % | 154 / 186 | |
fsm_builder.h |
|
92.7 % | 114 / 123 | 100.0 % | 20 / 20 | |
liblts_merge.h |
|
93.5 % | 29 / 31 | 100.0 % | 1 / 1 | |
transition.h |
|
96.2 % | 25 / 26 | 100.0 % | 5 / 5 | |
liblts_branching_bisim_minimal_depth.h |
|
97.0 % | 258 / 266 | 100.0 % | 20 / 20 | |
embedded_list.h |
|
97.9 % | 93 / 95 | 100.0 % | 89 / 89 | |
liblts_pbisim_grv.h |
|
98.5 % | 454 / 461 | 100.0 % | 36 / 36 | |
liblts_pbisim_bem.h |
|
98.7 % | 294 / 298 | 100.0 % | 14 / 14 | |
liblts_tau_star_reduce.h |
|
99.0 % | 104 / 105 | 100.0 % | 4 / 4 | |
liblts_scc.h |
|
99.1 % | 108 / 109 | 100.0 % | 14 / 14 | |
fixed_vector.h |
|
100.0 % | 3 / 3 | 100.0 % | 19 / 19 |
Generated by: LCOV version 1.14 |