LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Filename | Line Coverage | Functions | ||||
action_formula.h |
|
74.7 % | 133 / 178 | 59.1 % | 78 / 132 | |
add_binding.h |
|
28.6 % | 12 / 42 | 30.8 % | 4 / 13 | |
builder.h |
|
70.6 % | 627 / 888 | 42.3 % | 330 / 780 | |
count_fixpoints.h |
|
100.0 % | 13 / 13 | 100.0 % | 4 / 4 | |
find.h |
|
68.0 % | 66 / 97 | 76.9 % | 20 / 26 | |
has_name_clashes.h |
|
100.0 % | 80 / 80 | 100.0 % | 20 / 20 | |
is_monotonous.h |
|
86.2 % | 69 / 80 | 100.0 % | 2 / 2 | |
is_timed.h |
|
100.0 % | 13 / 13 | 100.0 % | 4 / 4 | |
maximal_closed_subformula.h |
|
97.6 % | 81 / 83 | 46.4 % | 39 / 84 | |
negate_variables.h |
|
87.5 % | 14 / 16 | 100.0 % | 3 / 3 | |
normalize.h |
|
69.6 % | 119 / 171 | 75.9 % | 22 / 29 | |
normalize_sorts.h |
|
80.0 % | 4 / 5 | 100.0 % | 1 / 1 | |
parse.h |
|
56.9 % | 33 / 58 | 50.0 % | 4 / 8 | |
parse_impl.h |
|
88.3 % | 91 / 103 | 100.0 % | 16 / 16 | |
preprocess_state_formula.h |
|
86.5 % | 166 / 192 | 90.2 % | 37 / 41 | |
print.h |
|
60.8 % | 228 / 375 | 22.9 % | 46 / 201 | |
regular_formula.h |
|
65.7 % | 67 / 102 | 50.0 % | 28 / 56 | |
replace.h |
|
89.5 % | 17 / 19 | 100.0 % | 4 / 4 | |
replace_capture_avoiding.h |
|
53.3 % | 16 / 30 | 60.0 % | 3 / 5 | |
resolve_name_clashes.h |
|
29.3 % | 44 / 150 | 27.8 % | 10 / 36 | |
state_formula.h |
|
79.6 % | 297 / 373 | 58.5 % | 183 / 313 | |
state_formula_rename.h |
|
92.4 % | 61 / 66 | 84.0 % | 21 / 25 | |
state_formula_specification.h |
|
100.0 % | 14 / 14 | 100.0 % | 7 / 7 | |
translate_regular_formulas.h |
|
83.3 % | 5 / 6 | 100.0 % | 1 / 1 | |
translate_user_notation.h |
|
80.0 % | 4 / 5 | 100.0 % | 1 / 1 | |
traverser.h |
|
39.9 % | 769 / 1925 | 23.1 % | 234 / 1013 | |
typecheck.h |
|
63.6 % | 199 / 313 | 67.3 % | 37 / 55 |
Generated by: LCOV version 1.14 |