LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Filename | Line Coverage | Functions | ||||
lts_pbisim_test.cpp |
|
78.7 % | 37 / 47 | 100.0 % | 6 / 6 | |
read_mcrl2.cpp |
|
83.1 % | 74 / 89 | 100.0 % | 5 / 5 | |
lts_test.cpp |
|
91.2 % | 309 / 339 | 97.0 % | 32 / 33 | |
parse_test.cpp |
|
93.8 % | 15 / 16 | 100.0 % | 3 / 3 | |
read_plain.cpp |
|
95.1 % | 58 / 61 | 100.0 % | 6 / 6 | |
lps2lts_test.cpp |
|
98.2 % | 168 / 171 | 98.5 % | 66 / 67 | |
probabilistic_arbitrary_precision_fraction_test.cpp |
|
100.0 % | 34 / 34 | 100.0 % | 5 / 5 | |
linearization_instantiation_compare_probabilistic_test.cpp |
|
100.0 % | 51 / 51 | 100.0 % | 5 / 5 | |
linearization_instantiation_compare_test.cpp |
|
100.0 % | 59 / 59 | 100.0 % | 7 / 7 | |
compare.cpp |
|
100.0 % | 196 / 196 | 100.0 % | 51 / 51 | |
ltsconvert_test.cpp |
|
100.0 % | 587 / 587 | 100.0 % | 3 / 3 |
Generated by: LCOV version 1.14 |