LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Filename | Line Coverage | Functions | ||||
action_utility.h |
|
81.8 % | 9 / 11 | 100.0 % | 2 / 2 | |
instantiate_global_variables.h |
|
94.4 % | 17 / 18 | 100.0 % | 4 / 4 | |
linear_process_conversion_traverser.h |
|
72.5 % | 211 / 291 | 55.3 % | 26 / 47 | |
lps_algorithm.h |
|
94.1 % | 48 / 51 | 77.3 % | 17 / 22 | |
lps_command.h |
|
0.0 % | 0 / 10 | 0.0 % | 0 / 3 | |
lps_io.h |
|
0.0 % | 0 / 20 | 0.0 % | 0 / 2 | |
make_timed_lps.h |
|
69.2 % | 18 / 26 | 75.0 % | 3 / 4 | |
parameter_selection.h |
|
88.2 % | 30 / 34 | 75.0 % | 3 / 4 | |
specification_property_map.h |
|
85.7 % | 102 / 119 | 95.2 % | 20 / 21 | |
test_input.h |
|
100.0 % | 4 / 4 | 100.0 % | 2 / 2 | |
ultimate_delay.h |
|
100.0 % | 22 / 22 | 100.0 % | 8 / 8 |
Generated by: LCOV version 1.14 |