LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Filename | Line Coverage | Functions | ||||
index_traits_test.cpp |
|
40.0 % | 2 / 5 | 66.7 % | 2 / 3 | |
print_test.cpp |
|
90.9 % | 250 / 275 | 92.1 % | 58 / 63 | |
rewriter_test.cpp |
|
88.6 % | 124 / 140 | 93.8 % | 15 / 16 | |
data_specification_test.cpp |
|
93.7 % | 429 / 458 | 93.9 % | 31 / 33 | |
substitution_test.cpp |
|
95.4 % | 207 / 217 | 94.4 % | 17 / 18 | |
enumerator_test.cpp |
|
95.1 % | 253 / 266 | 97.3 % | 36 / 37 | |
bool_test.cpp |
|
100.0 % | 5 / 5 | 100.0 % | 2 / 2 | |
representative_generator_test.cpp |
|
100.0 % | 26 / 26 | 100.0 % | 3 / 3 | |
data_equation_test.cpp |
|
100.0 % | 15 / 15 | 100.0 % | 3 / 3 | |
compatibility_test.cpp |
|
92.9 % | 13 / 14 | 100.0 % | 3 / 3 | |
ticket_1300.cpp |
|
100.0 % | 14 / 14 | 100.0 % | 3 / 3 | |
int_test.cpp |
|
100.0 % | 12 / 12 | 100.0 % | 3 / 3 | |
list_test.cpp |
|
100.0 % | 26 / 26 | 100.0 % | 4 / 4 | |
normalize_sorts_test.cpp |
|
93.5 % | 29 / 31 | 100.0 % | 5 / 5 | |
type_check_tree_test.cpp |
|
100.0 % | 105 / 105 | 100.0 % | 6 / 6 | |
utility_test.cpp |
|
90.1 % | 73 / 81 | 100.0 % | 6 / 6 | |
identifier_generator_test.cpp |
|
100.0 % | 54 / 54 | 100.0 % | 6 / 6 | |
set_test.cpp |
|
93.7 % | 104 / 111 | 100.0 % | 6 / 6 | |
bag_test.cpp |
|
95.7 % | 112 / 117 | 100.0 % | 7 / 7 | |
parser_test.cpp |
|
98.3 % | 57 / 58 | 100.0 % | 8 / 8 | |
template_test.cpp |
|
100.0 % | 14 / 14 | 100.0 % | 8 / 8 | |
quantifier_test.cpp |
|
94.6 % | 88 / 93 | 100.0 % | 9 / 9 | |
sort_expression_test.cpp |
|
100.0 % | 116 / 116 | 100.0 % | 10 / 10 | |
linear_inequalities_test.cpp |
|
91.1 % | 174 / 191 | 100.0 % | 11 / 11 | |
builder_test.cpp |
|
96.2 % | 50 / 52 | 100.0 % | 11 / 11 | |
find_test.cpp |
|
100.0 % | 83 / 83 | 100.0 % | 16 / 16 | |
replace_test.cpp |
|
97.1 % | 136 / 140 | 100.0 % | 20 / 20 | |
data_expression_test.cpp |
|
100.0 % | 200 / 200 | 100.0 % | 24 / 24 | |
rewriting_test.cpp |
|
99.0 % | 824 / 832 | 100.0 % | 65 / 65 | |
typecheck_test.cpp |
|
95.3 % | 574 / 602 | 100.0 % | 290 / 290 |
Generated by: LCOV version 1.14 |