LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Filename | Line Coverage | Functions | ||||
suminst_test.cpp |
|
87.3 % | 89 / 102 | 88.9 % | 8 / 9 | |
lpsparunfold_test.cpp |
|
51.2 % | 21 / 41 | 100.0 % | 2 / 2 | |
specification_property_map_test.cpp |
|
100.0 % | 7 / 7 | 100.0 % | 2 / 2 | |
utility.h |
|
100.0 % | 30 / 30 | 100.0 % | 2 / 2 | |
data_specification_test.cpp |
|
100.0 % | 6 / 6 | 100.0 % | 2 / 2 | |
linear_process_conversion_test.cpp |
|
80.6 % | 25 / 31 | 100.0 % | 3 / 3 | |
lps_algorithm_test.cpp |
|
100.0 % | 8 / 8 | 100.0 % | 3 / 3 | |
rename_test.cpp |
|
100.0 % | 16 / 16 | 100.0 % | 4 / 4 | |
parelm_test.cpp |
|
100.0 % | 22 / 22 | 100.0 % | 4 / 4 | |
resolve_name_clash_test.cpp |
|
100.0 % | 27 / 27 | 100.0 % | 4 / 4 | |
one_point_condition_rewriter_test.cpp |
|
84.6 % | 22 / 26 | 100.0 % | 5 / 5 | |
remove_parameters_test.cpp |
|
100.0 % | 36 / 36 | 100.0 % | 5 / 5 | |
specification_test.cpp |
|
100.0 % | 27 / 27 | 100.0 % | 5 / 5 | |
untime_test.cpp |
|
96.6 % | 57 / 59 | 100.0 % | 6 / 6 | |
constelm_test.cpp |
|
100.0 % | 43 / 43 | 100.0 % | 6 / 6 | |
multi_action_test.cpp |
|
100.0 % | 74 / 74 | 100.0 % | 7 / 7 | |
invelm_test.cpp |
|
100.0 % | 58 / 58 | 100.0 % | 7 / 7 | |
replace_test.cpp |
|
100.0 % | 84 / 84 | 100.0 % | 8 / 8 | |
rewriter_test.cpp |
|
95.1 % | 77 / 81 | 100.0 % | 8 / 8 | |
print_test.cpp |
|
96.7 % | 29 / 30 | 100.0 % | 8 / 8 | |
find_test.cpp |
|
100.0 % | 46 / 46 | 100.0 % | 10 / 10 | |
linearization_stochastic_test.cpp |
|
98.1 % | 51 / 52 | 100.0 % | 12 / 12 | |
ltsmin_test.cpp |
|
98.9 % | 175 / 177 | 100.0 % | 12 / 12 | |
confcheck_test.cpp |
|
100.0 % | 38 / 38 | 100.0 % | 12 / 12 | |
linearization_test3.cpp |
|
100.0 % | 28 / 28 | 100.0 % | 14 / 14 | |
binary_test.cpp |
|
100.0 % | 124 / 124 | 100.0 % | 18 / 18 | |
linearization_test5.cpp |
|
100.0 % | 44 / 44 | 100.0 % | 22 / 22 | |
action_rename_test.cpp |
|
100.0 % | 127 / 127 | 100.0 % | 23 / 23 | |
sumelm_test.cpp |
|
99.4 % | 161 / 162 | 100.0 % | 23 / 23 | |
stochastic_specification_test.cpp |
|
100.0 % | 85 / 85 | 100.0 % | 28 / 28 | |
timed_linearization_test.cpp |
|
91.2 % | 114 / 125 | 100.0 % | 34 / 34 | |
linearization_test4.cpp |
|
100.0 % | 103 / 103 | 100.0 % | 52 / 52 | |
linearization_test2.cpp |
|
100.0 % | 135 / 135 | 100.0 % | 54 / 54 | |
linearization_test1.cpp |
|
100.0 % | 159 / 159 | 100.0 % | 66 / 66 |
Generated by: LCOV version 1.14 |