LCOV - code coverage report
Current view: top level - modal_formula/include/mcrl2/modal_formula Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3116 4339 71.8 %
Date: 2019-07-19 02:46:18 Functions: 1035 1819 56.9 %
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
40.0%40.0%
40.0 % 16 / 40 53.8 % 14 / 26
builder.h
78.4%78.4%
78.4 % 585 / 746 62.9 % 183 / 291
count_fixpoints.h
100.0%
100.0 % 13 / 13 100.0 % 4 / 4
find.h
82.4%82.4%
82.4 % 70 / 85 78.6 % 22 / 28
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 % 84 / 86 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
81.0%81.0%
81.0 % 136 / 168 86.2 % 25 / 29
preprocess_state_formula.h
88.0%88.0%
88.0 % 154 / 175 90.9 % 40 / 44
print.h
65.0%65.0%
65.0 % 214 / 329 26.0 % 47 / 181
regular_formula.h
67.0%67.0%
67.0 % 59 / 88 73.0 % 27 / 37
replace.h
64.5%64.5%
64.5 % 20 / 31 77.8 % 7 / 9
resolve_name_clashes.h
66.7%66.7%
66.7 % 24 / 36 72.7 % 8 / 11
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
58.2%58.2%
58.2 % 959 / 1648 43.7 % 340 / 778
typecheck.h
68.2%68.2%
68.2 % 122 / 179 79.5 % 35 / 44

Generated by: LCOV version 1.12