LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Filename | Line Coverage | Functions | ||||
liblts.cpp |
|
0.0 % | 0 / 85 | 0.0 % | 0 / 14 | |
liblts_aut.cpp |
|
76.6 % | 216 / 282 | 86.4 % | 19 / 22 | |
liblts_bisim_gjkw.cpp |
|
90.3 % | 1174 / 1300 | 51.4 % | 18 / 35 | |
liblts_dot.cpp |
|
0.0 % | 0 / 50 | 0.0 % | 0 / 4 | |
liblts_fsm.cpp |
|
89.0 % | 89 / 100 | 100.0 % | 11 / 11 | |
liblts_lts.cpp |
|
88.9 % | 209 / 235 | 93.5 % | 29 / 31 | |
sim_hashtable.cpp |
|
65.1 % | 108 / 166 | 86.4 % | 19 / 22 | |
simulation.cpp |
|
0.0 % | 0 / 129 | 0.0 % | 0 / 13 | |
tree_set.cpp |
|
82.7 % | 86 / 104 | 92.9 % | 13 / 14 |
Generated by: LCOV version 1.14 |