LCOV - code coverage report | |||||||||||||||||||||||||
![]() | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
![]() |
Filename ![]() |
Line Coverage ![]() |
Functions ![]() |
||||
check_complexity.cpp |
|
100.0 % | 1 / 1 | 100.0 % | 2 / 2 | |
exploration.cpp |
|
42.9 % | 304 / 709 | 45.2 % | 19 / 42 | |
liblts.cpp |
|
7.9 % | 7 / 89 | 33.3 % | 6 / 18 | |
liblts_aut.cpp |
|
77.2 % | 213 / 276 | 87.5 % | 21 / 24 | |
liblts_bisim_gjkw.cpp |
|
89.0 % | 1163 / 1307 | 54.1 % | 20 / 37 | |
liblts_dot.cpp |
|
2.0 % | 1 / 50 | 33.3 % | 2 / 6 | |
liblts_fsm.cpp |
|
90.4 % | 85 / 94 | 100.0 % | 13 / 13 | |
liblts_lts.cpp |
|
88.6 % | 187 / 211 | 93.9 % | 31 / 33 | |
sim_hashtable.cpp |
|
65.1 % | 108 / 166 | 86.4 % | 19 / 22 | |
tree_set.cpp |
|
82.9 % | 87 / 105 | 93.8 % | 15 / 16 |
![]() |
Generated by: LCOV version 1.13 |