LCOV - code coverage report
Current view: top level - modal_formula/include/mcrl2/modal_formula Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3242 5397 60.1 %
Date: 2024-03-08 02:52:28 Functions: 1159 2880 40.2 %
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
74.7%74.7%
74.7 % 133 / 178 59.1 % 78 / 132
add_binding.h
28.6%28.6%
28.6 % 12 / 42 30.8 % 4 / 13
builder.h
70.6%70.6%
70.6 % 627 / 888 42.3 % 330 / 780
count_fixpoints.h
100.0%
100.0 % 13 / 13 100.0 % 4 / 4
find.h
68.0%68.0%
68.0 % 66 / 97 76.9 % 20 / 26
has_name_clashes.h
100.0%
100.0 % 80 / 80 100.0 % 20 / 20
is_monotonous.h
86.2%86.2%
86.2 % 69 / 80 100.0 % 2 / 2
is_timed.h
100.0%
100.0 % 13 / 13 100.0 % 4 / 4
maximal_closed_subformula.h
97.6%97.6%
97.6 % 81 / 83 46.4 % 39 / 84
negate_variables.h
87.5%87.5%
87.5 % 14 / 16 100.0 % 3 / 3
normalize.h
69.6%69.6%
69.6 % 119 / 171 75.9 % 22 / 29
normalize_sorts.h
80.0%80.0%
80.0 % 4 / 5 100.0 % 1 / 1
parse.h
56.9%56.9%
56.9 % 33 / 58 50.0 % 4 / 8
parse_impl.h
88.3%88.3%
88.3 % 91 / 103 100.0 % 16 / 16
preprocess_state_formula.h
86.5%86.5%
86.5 % 166 / 192 90.2 % 37 / 41
print.h
60.8%60.8%
60.8 % 228 / 375 22.9 % 46 / 201
regular_formula.h
65.7%65.7%
65.7 % 67 / 102 50.0 % 28 / 56
replace.h
89.5%89.5%
89.5 % 17 / 19 100.0 % 4 / 4
replace_capture_avoiding.h
53.3%53.3%
53.3 % 16 / 30 60.0 % 3 / 5
resolve_name_clashes.h
29.3%29.3%
29.3 % 44 / 150 27.8 % 10 / 36
state_formula.h
79.6%79.6%
79.6 % 297 / 373 58.5 % 183 / 313
state_formula_rename.h
92.4%92.4%
92.4 % 61 / 66 84.0 % 21 / 25
state_formula_specification.h
100.0%
100.0 % 14 / 14 100.0 % 7 / 7
translate_regular_formulas.h
83.3%83.3%
83.3 % 5 / 6 100.0 % 1 / 1
translate_user_notation.h
80.0%80.0%
80.0 % 4 / 5 100.0 % 1 / 1
traverser.h
39.9%39.9%
39.9 % 769 / 1925 23.1 % 234 / 1013
typecheck.h
63.6%63.6%
63.6 % 199 / 313 67.3 % 37 / 55

Generated by: LCOV version 1.14