LCOV - code coverage report
Current view: top level - modal_formula/include/mcrl2/modal_formula Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3032 4366 69.4 %
Date: 2020-01-17 00:44:36 Functions: 903 1689 53.5 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
action_formula.h
77.4%77.4%
77.4 % 96 / 124 75.4 % 43 / 57
add_binding.h
36.2%36.2%
36.2 % 17 / 47 60.9 % 14 / 23
builder.h
77.8%77.8%
77.8 % 564 / 725 48.9 % 133 / 272
count_fixpoints.h
100.0%
100.0 % 13 / 13 100.0 % 4 / 4
find.h
83.1%83.1%
83.1 % 74 / 89 79.3 % 23 / 29
has_name_clashes.h
100.0%
100.0 % 80 / 80 100.0 % 24 / 24
is_monotonous.h
95.2%95.2%
95.2 % 99 / 104 100.0 % 2 / 2
is_timed.h
100.0%
100.0 % 13 / 13 100.0 % 4 / 4
maximal_closed_subformula.h
97.7%97.7%
97.7 % 85 / 87 63.8 % 51 / 80
negate_variables.h
100.0%
100.0 % 10 / 10 100.0 % 4 / 4
normalize.h
92.7%92.7%
92.7 % 76 / 82 91.7 % 22 / 24
normalize_sorts.h
100.0%
100.0 % 2 / 2 100.0 % 1 / 1
parse.h
59.3%59.3%
59.3 % 32 / 54 55.6 % 5 / 9
parse_impl.h
89.6%89.6%
89.6 % 86 / 96 100.0 % 18 / 18
preprocess_state_formula.h
87.0%87.0%
87.0 % 154 / 177 90.9 % 40 / 44
print.h
64.7%64.7%
64.7 % 213 / 329 25.4 % 46 / 181
regular_formula.h
67.0%67.0%
67.0 % 59 / 88 73.0 % 27 / 37
replace.h
91.7%91.7%
91.7 % 11 / 12 100.0 % 4 / 4
replace_capture_avoiding.h
54.5%54.5%
54.5 % 12 / 22 60.0 % 3 / 5
resolve_name_clashes.h
20.5%20.5%
20.5 % 24 / 117 28.6 % 8 / 28
state_formula.h
93.8%93.8%
93.8 % 211 / 225 92.5 % 99 / 107
state_formula_rename.h
98.1%98.1%
98.1 % 52 / 53 95.8 % 23 / 24
state_formula_specification.h
100.0%
100.0 % 15 / 15 100.0 % 8 / 8
translate_regular_formulas.h
80.0%80.0%
80.0 % 4 / 5 100.0 % 1 / 1
translate_user_notation.h
100.0%
100.0 % 2 / 2 100.0 % 1 / 1
traverser.h
56.0%56.0%
56.0 % 903 / 1613 39.8 % 260 / 654
typecheck.h
68.7%68.7%
68.7 % 125 / 182 79.5 % 35 / 44

Generated by: LCOV version 1.13