LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Filename | Line Coverage | Functions | ||||
default_expression_generator.h |
|
0.0 % | 0 / 12 | 0.0 % | 0 / 2 | |
cardinality.h |
|
0.0 % | 0 / 29 | 0.0 % | 0 / 3 | |
rewriter_tool.h |
|
0.0 % | 0 / 25 | 0.0 % | 0 / 5 | |
replace_constants_by_variables.h |
|
0.0 % | 0 / 17 | 0.0 % | 0 / 7 | |
anonymize.h |
|
0.0 % | 0 / 103 | 0.0 % | 0 / 20 | |
set_comprehension.h |
|
100.0 % | 8 / 8 | 2.4 % | 2 / 85 | |
bag_comprehension.h |
|
100.0 % | 8 / 8 | 2.4 % | 2 / 85 | |
untyped_set_or_bag_comprehension.h |
|
100.0 % | 8 / 8 | 3.5 % | 3 / 85 | |
unfold_pattern_matching.h |
|
3.7 % | 6 / 164 | 5.9 % | 1 / 17 | |
abstraction.h |
|
100.0 % | 23 / 23 | 7.8 % | 36 / 461 | |
add_binding.h |
|
59.4 % | 38 / 64 | 8.8 % | 35 / 400 | |
forall.h |
|
86.7 % | 13 / 15 | 14.3 % | 10 / 70 | |
where_clause.h |
|
100.0 % | 19 / 19 | 14.5 % | 11 / 76 | |
exists.h |
|
86.7 % | 13 / 15 | 15.7 % | 11 / 70 | |
lambda.h |
|
89.5 % | 17 / 19 | 19.7 % | 15 / 76 | |
builder.h |
|
64.4 % | 261 / 405 | 19.8 % | 450 / 2275 | |
untyped_data_parameter.h |
|
85.0 % | 17 / 20 | 23.4 % | 11 / 47 | |
traverser.h |
|
75.5 % | 466 / 617 | 31.5 % | 271 / 860 | |
assignment.h |
|
82.9 % | 63 / 76 | 32.1 % | 52 / 162 | |
untyped_possible_sorts.h |
|
60.0 % | 9 / 15 | 33.3 % | 3 / 9 | |
print.h |
|
93.0 % | 1092 / 1174 | 34.3 % | 328 / 956 | |
replace_capture_avoiding.h |
|
84.4 % | 81 / 96 | 38.9 % | 74 / 190 | |
application.h |
|
83.2 % | 149 / 179 | 40.7 % | 318 / 782 | |
is_simple_substitution.h |
|
70.0 % | 7 / 10 | 44.4 % | 4 / 9 | |
enumerator.h |
|
87.0 % | 302 / 347 | 45.3 % | 241 / 532 | |
replace.h |
|
57.1 % | 36 / 63 | 55.2 % | 48 / 87 | |
rewrite_strategy.h |
|
33.3 % | 12 / 36 | 60.0 % | 3 / 5 | |
replace_capture_avoiding_with_an_identifier_generator.h |
|
57.7 % | 45 / 78 | 62.5 % | 15 / 24 | |
structured_sort_constructor_argument.h |
|
84.0 % | 21 / 25 | 68.8 % | 11 / 16 | |
consistency.h |
|
68.8 % | 22 / 32 | 68.8 % | 11 / 16 | |
variable.h |
|
91.4 % | 32 / 35 | 69.4 % | 25 / 36 | |
find_equalities.h |
|
89.0 % | 186 / 209 | 70.9 % | 39 / 55 | |
function_symbol.h |
|
100.0 % | 28 / 28 | 71.4 % | 20 / 28 | |
rewrite.h |
|
100.0 % | 17 / 17 | 75.0 % | 9 / 12 | |
structured_sort.h |
|
95.1 % | 155 / 163 | 75.0 % | 18 / 24 | |
structured_sort_constructor.h |
|
89.3 % | 50 / 56 | 76.9 % | 20 / 26 | |
rewriter.h |
|
84.7 % | 50 / 59 | 77.3 % | 17 / 22 | |
identifier_generator.h |
|
92.9 % | 13 / 14 | 80.0 % | 4 / 5 | |
substitution_utility.h |
|
100.0 % | 11 / 11 | 80.0 % | 4 / 5 | |
container_sort.h |
|
87.5 % | 14 / 16 | 80.0 % | 8 / 10 | |
find.h |
|
82.5 % | 104 / 126 | 81.1 % | 146 / 180 | |
basic_sort.h |
|
79.2 % | 19 / 24 | 81.8 % | 9 / 11 | |
alias.h |
|
84.0 % | 21 / 25 | 83.3 % | 10 / 12 | |
bag.h |
|
85.1 % | 377 / 443 | 83.5 % | 91 / 109 | |
function_sort.h |
|
93.9 % | 31 / 33 | 85.0 % | 17 / 20 | |
standard_utility.h |
|
73.6 % | 39 / 53 | 85.7 % | 12 / 14 | |
function_update.h |
|
87.0 % | 100 / 115 | 86.7 % | 26 / 30 | |
int.h |
|
88.3 % | 459 / 520 | 88.3 % | 91 / 103 | |
normalize_sorts.h |
|
97.8 % | 44 / 45 | 88.9 % | 8 / 9 | |
container_type.h |
|
92.5 % | 49 / 53 | 88.9 % | 16 / 18 | |
data_equation.h |
|
89.5 % | 34 / 38 | 90.0 % | 18 / 20 | |
set_identifier_generator.h |
|
86.7 % | 26 / 30 | 90.9 % | 10 / 11 | |
set.h |
|
92.5 % | 331 / 358 | 91.0 % | 81 / 89 | |
real.h |
|
91.7 % | 532 / 580 | 91.9 % | 113 / 123 | |
enumerator_with_iterator.h |
|
90.3 % | 140 / 155 | 92.5 % | 62 / 67 | |
linear_inequalities.h |
|
78.8 % | 721 / 915 | 92.7 % | 89 / 96 | |
pos.h |
|
93.4 % | 225 / 241 | 93.0 % | 53 / 57 | |
optimized_boolean_operators.h |
|
96.3 % | 105 / 109 | 93.3 % | 28 / 30 | |
expression_traits.h |
|
94.0 % | 47 / 50 | 94.4 % | 17 / 18 | |
fbag.h |
|
95.0 % | 247 / 260 | 95.3 % | 61 / 64 | |
nat.h |
|
93.9 % | 605 / 644 | 95.9 % | 141 / 147 | |
data_expression.h |
|
97.3 % | 73 / 75 | 96.8 % | 30 / 31 | |
bool.h |
|
96.0 % | 166 / 173 | 97.7 % | 42 / 43 | |
data_specification.h |
|
96.7 % | 266 / 275 | 97.8 % | 45 / 46 | |
fset.h |
|
96.8 % | 209 / 216 | 98.1 % | 52 / 53 | |
merge_data_specifications.h |
|
68.0 % | 17 / 25 | 100.0 % | 1 / 1 | |
untyped_sort.h |
|
100.0 % | 7 / 7 | 100.0 % | 2 / 2 | |
fourier_motzkin.h |
|
85.2 % | 109 / 128 | 100.0 % | 3 / 3 | |
xyz_identifier_generator.h |
|
96.8 % | 30 / 31 | 100.0 % | 4 / 4 | |
untyped_identifier.h |
|
100.0 % | 12 / 12 | 100.0 % | 4 / 4 | |
representative_generator.h |
|
94.9 % | 75 / 79 | 100.0 % | 5 / 5 | |
undefined.h |
|
100.0 % | 14 / 14 | 100.0 % | 5 / 5 | |
real_utilities.h |
|
94.1 % | 16 / 17 | 100.0 % | 5 / 5 | |
join.h |
|
85.7 % | 12 / 14 | 100.0 % | 6 / 6 | |
untyped_data_specification.h |
|
94.7 % | 18 / 19 | 100.0 % | 6 / 6 | |
untyped_sort_variable.h |
|
100.0 % | 18 / 18 | 100.0 % | 8 / 8 | |
equality_one_point_substitution.h |
|
100.0 % | 73 / 73 | 100.0 % | 8 / 8 | |
selection.h |
|
97.1 % | 68 / 70 | 100.0 % | 10 / 10 | |
sort_type_checker.h |
|
96.0 % | 144 / 150 | 100.0 % | 10 / 10 | |
translate_user_notation.h |
|
97.1 % | 67 / 69 | 100.0 % | 11 / 11 | |
typecheck.h |
|
88.5 % | 54 / 61 | 100.0 % | 11 / 11 | |
binder_type.h |
|
100.0 % | 35 / 35 | 100.0 % | 14 / 14 | |
sort_expression.h |
|
100.0 % | 31 / 31 | 100.0 % | 15 / 15 | |
parse.h |
|
94.9 % | 94 / 99 | 100.0 % | 16 / 16 | |
standard_container_utility.h |
|
92.6 % | 87 / 94 | 100.0 % | 22 / 22 | |
sort_specification.h |
|
100.0 % | 85 / 85 | 100.0 % | 25 / 25 | |
standard_numbers_utility.h |
|
95.5 % | 168 / 176 | 100.0 % | 32 / 32 | |
parse_impl.h |
|
95.8 % | 248 / 259 | 100.0 % | 48 / 48 | |
list.h |
|
96.7 % | 237 / 245 | 100.0 % | 65 / 65 | |
standard.h |
|
99.2 % | 123 / 124 | 100.0 % | 73 / 73 |
Generated by: LCOV version 1.14 |