LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2778 4573 60.7 %
Date: 2020-08-12 00:34:17 Functions: 540 1237 43.7 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
bes_equation_limit.h
75.0%75.0%
75.0 % 3 / 4 100.0 % 1 / 1
bqnf_quantifier_rewriter.h
35.1%35.1%
35.1 % 60 / 171 54.5 % 6 / 11
bqnf_traverser.h
42.2%42.2%
42.2 % 49 / 116 69.2 % 9 / 13
bqnf_visitor.h
51.6%51.6%
51.6 % 113 / 219 76.2 % 16 / 21
find_free_variables.h
81.6%81.6%
81.6 % 31 / 38 81.8 % 9 / 11
guard_traverser.h
79.1%79.1%
79.1 % 102 / 129 90.9 % 20 / 22
has_propositional_variables.h
0.0%
0.0 % 0 / 10 0.0 % 0 / 3
instantiate_global_variables.h
95.0%95.0%
95.0 % 19 / 20 100.0 % 2 / 2
is_pfnf.h
89.9%89.9%
89.9 % 62 / 69 100.0 % 14 / 14
is_well_typed.h
29.0%29.0%
29.0 % 36 / 124 45.0 % 9 / 20
lps2pbes_e.h
64.2%64.2%
64.2 % 86 / 134 16.9 % 42 / 248
lps2pbes_par.h
77.9%77.9%
77.9 % 60 / 77 76.0 % 19 / 25
lps2pbes_rhs.h
74.8%74.8%
74.8 % 208 / 278 18.0 % 56 / 311
lps2pbes_sat.h
75.4%75.4%
75.4 % 52 / 69 39.5 % 15 / 38
lps2pbes_utility.h
100.0%
100.0 % 42 / 42 100.0 % 7 / 7
normalize_and_or.h
100.0%
100.0 % 22 / 22 100.0 % 6 / 6
occurring_variable_visitor.h
100.0%
100.0 % 4 / 4 100.0 % 3 / 3
parity_game_output.h
93.1%93.1%
93.1 % 27 / 29 75.0 % 3 / 4
parse.h
87.3%87.3%
87.3 % 62 / 71 100.0 % 2 / 2
pbes_context.h
94.7%94.7%
94.7 % 18 / 19 100.0 % 6 / 6
pbes_greybox_interface.h
73.3%73.3%
73.3 % 63 / 86 100.0 % 10 / 10
pbes_parameter_map.h
84.7%84.7%
84.7 % 50 / 59 75.0 % 3 / 4
pbes_property_map.h
97.4%97.4%
97.4 % 76 / 78 100.0 % 8 / 8
pbessolve.h
100.0%
100.0 % 8 / 8 100.0 % 1 / 1
pfnf_print.h
81.2%81.2%
81.2 % 39 / 48 100.0 % 8 / 8
pfnf_traverser.h
93.3%93.3%
93.3 % 140 / 150 87.2 % 34 / 39
ppg_rewriter.h
50.2%50.2%
50.2 % 118 / 235 64.7 % 11 / 17
ppg_traverser.h
73.3%73.3%
73.3 % 85 / 116 86.7 % 13 / 15
ppg_visitor.h
5.1%5.1%
5.1 % 4 / 79 16.7 % 2 / 12
stategraph_algorithm.h
78.8%78.8%
78.8 % 294 / 373 76.2 % 32 / 42
stategraph_global_algorithm.h
0.0%
0.0 % 0 / 87 0.0 % 0 / 9
stategraph_global_reset_variables.h
0.0%
0.0 % 0 / 192 0.0 % 0 / 25
stategraph_graph.h
59.5%59.5%
59.5 % 154 / 259 55.4 % 56 / 101
stategraph_influence.h
0.0%
0.0 % 0 / 60 0.0 % 0 / 12
stategraph_local_algorithm.h
61.6%61.6%
61.6 % 357 / 580 70.0 % 35 / 50
stategraph_local_reset_variables.h
71.6%71.6%
71.6 % 111 / 155 70.8 % 17 / 24
stategraph_pbes.h
72.4%72.4%
72.4 % 165 / 228 80.4 % 41 / 51
stategraph_simplify_rewriter.h
21.8%21.8%
21.8 % 17 / 78 31.6 % 6 / 19
stategraph_split.h
64.3%64.3%
64.3 % 9 / 14 66.7 % 4 / 6
stategraph_utility.h
35.3%35.3%
35.3 % 6 / 17 33.3 % 1 / 3
term_traits_optimized.h
100.0%
100.0 % 16 / 16 100.0 % 8 / 8
test_utility.h
100.0%
100.0 % 10 / 10 100.0 % 5 / 5

Generated by: LCOV version 1.13