LCOV - code coverage report | |||||||||||||||||||||||||
![]() | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
![]() |
Filename ![]() |
Line Coverage ![]() |
Functions ![]() |
||||
data_construction.h |
|
100.0 % | 14 / 14 | 100.0 % | 4 / 4 | |
data_functional.h |
|
80.0 % | 8 / 10 | 85.7 % | 6 / 7 | |
data_property_map.h |
|
85.8 % | 103 / 120 | 76.6 % | 72 / 94 | |
data_sequence_algorithm.h |
|
100.0 % | 8 / 8 | 100.0 % | 1 / 1 | |
data_utility.h |
|
71.7 % | 38 / 53 | 92.9 % | 13 / 14 | |
enumerator_identifier_generator.h |
|
100.0 % | 9 / 9 | 100.0 % | 4 / 4 | |
enumerator_iteration_limit.h |
|
100.0 % | 2 / 2 | 100.0 % | 1 / 1 | |
equal_sorts.h |
|
77.8 % | 7 / 9 | 100.0 % | 1 / 1 | |
io.h |
|
100.0 % | 20 / 20 | 100.0 % | 4 / 4 | |
is_untyped.h |
|
52.0 % | 13 / 25 | 50.0 % | 4 / 8 | |
linear_inequalities_utilities.h |
|
61.0 % | 61 / 100 | 42.9 % | 3 / 7 | |
move_constants_to_substitution.h |
|
100.0 % | 21 / 21 | 100.0 % | 2 / 2 | |
one_point_rule_preprocessor.h |
|
100.0 % | 22 / 22 | 100.0 % | 1 / 1 | |
parse_substitution.h |
|
100.0 % | 13 / 13 | 100.0 % | 2 / 2 | |
print_utility.h |
|
96.2 % | 25 / 26 | 100.0 % | 2 / 2 | |
rewrite.h |
|
100.0 % | 19 / 19 | 83.3 % | 5 / 6 | |
rewrite_strategies.h |
|
88.9 % | 8 / 9 | 100.0 % | 2 / 2 | |
rewriter_wrapper.h |
|
100.0 % | 8 / 8 | 100.0 % | 3 / 3 | |
sequence_algorithm.h |
|
53.8 % | 7 / 13 | 71.4 % | 5 / 7 | |
split_finite_variables.h |
|
95.0 % | 19 / 20 | 100.0 % | 2 / 2 | |
test_rewriters.h |
|
91.2 % | 52 / 57 | 100.0 % | 22 / 22 | |
variable_context.h |
|
93.1 % | 27 / 29 | 100.0 % | 11 / 11 |
![]() |
Generated by: LCOV version 1.13 |