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