| LCOV - code coverage report | |||||||||||||||||||||||||
 | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
|
Filename  |
Line Coverage |
Functions |
||||
| traverser.h |
|
42.7 % | 845 / 1977 | 24.4 % | 276 / 1130 | |
| print.h |
|
67.7 % | 260 / 384 | 25.5 % | 52 / 204 | |
| resolve_name_clashes.h |
|
29.3 % | 44 / 150 | 27.8 % | 10 / 36 | |
| add_binding.h |
|
28.6 % | 12 / 42 | 30.8 % | 4 / 13 | |
| builder.h |
|
75.9 % | 690 / 909 | 44.1 % | 354 / 802 | |
| maximal_closed_subformula.h |
|
97.6 % | 81 / 83 | 44.8 % | 39 / 87 | |
| regular_formula.h |
|
76.5 % | 78 / 102 | 57.1 % | 32 / 56 | |
| replace_capture_avoiding.h |
|
53.3 % | 16 / 30 | 60.0 % | 3 / 5 | |
| action_formula.h |
|
78.7 % | 140 / 178 | 60.6 % | 80 / 132 | |
| parse.h |
|
63.8 % | 37 / 58 | 62.5 % | 5 / 8 | |
| state_formula.h |
|
88.2 % | 343 / 389 | 62.9 % | 207 / 329 | |
| typecheck.h |
|
69.3 % | 226 / 326 | 71.4 % | 40 / 56 | |
| normalize.h |
|
67.6 % | 119 / 176 | 73.3 % | 22 / 30 | |
| find.h |
|
68.0 % | 66 / 97 | 76.9 % | 20 / 26 | |
| state_formula_rename.h |
|
92.4 % | 61 / 66 | 84.0 % | 21 / 25 | |
| preprocess_state_formula.h |
|
86.5 % | 166 / 192 | 90.2 % | 37 / 41 | |
| translate_regular_formulas.h |
|
83.3 % | 5 / 6 | 100.0 % | 1 / 1 | |
| translate_user_notation.h |
|
80.0 % | 4 / 5 | 100.0 % | 1 / 1 | |
| normalize_sorts.h |
|
80.0 % | 4 / 5 | 100.0 % | 1 / 1 | |
| is_monotonous.h |
|
91.6 % | 76 / 83 | 100.0 % | 2 / 2 | |
| negate_variables.h |
|
87.5 % | 14 / 16 | 100.0 % | 3 / 3 | |
| count_fixpoints.h |
|
100.0 % | 13 / 13 | 100.0 % | 4 / 4 | |
| replace.h |
|
89.5 % | 17 / 19 | 100.0 % | 4 / 4 | |
| is_timed.h |
|
100.0 % | 13 / 13 | 100.0 % | 4 / 4 | |
| state_formula_specification.h |
|
100.0 % | 19 / 19 | 100.0 % | 8 / 8 | |
| parse_impl.h |
|
89.4 % | 93 / 104 | 100.0 % | 16 / 16 | |
| has_name_clashes.h |
|
100.0 % | 80 / 80 | 100.0 % | 20 / 20 | |
|
| Generated by: LCOV version 1.14 |
