LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2772 4524 61.3 %
Date: 2019-07-19 02:46:18 Functions: 544 1241 43.8 %
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.3%35.3%
35.3 % 60 / 170 54.5 % 6 / 11
bqnf_traverser.h
46.3%46.3%
46.3 % 44 / 95 69.2 % 9 / 13
bqnf_visitor.h
51.1%51.1%
51.1 % 112 / 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
93.3%93.3%
93.3 % 14 / 15 100.0 % 1 / 1
io.h
100.0%
100.0 % 26 / 26 100.0 % 4 / 4
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.9%74.9%
74.9 % 209 / 279 18.0 % 56 / 311
lps2pbes_sat.h
76.1%76.1%
76.1 % 54 / 71 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
96.2%96.2%
96.2 % 25 / 26 75.0 % 3 / 4
parse.h
87.1%87.1%
87.1 % 61 / 70 100.0 % 2 / 2
pbes_context.h
94.7%94.7%
94.7 % 18 / 19 100.0 % 6 / 6
pbes_greybox_interface.h
72.9%72.9%
72.9 % 62 / 85 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.6%81.6%
81.6 % 40 / 49 100.0 % 9 / 9
pfnf_traverser.h
93.2%93.2%
93.2 % 138 / 148 87.2 % 34 / 39
ppg_rewriter.h
51.6%51.6%
51.6 % 112 / 217 64.7 % 11 / 17
ppg_traverser.h
77.6%77.6%
77.6 % 76 / 98 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 / 190 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.7%61.7%
61.7 % 355 / 575 70.0 % 35 / 50
stategraph_local_reset_variables.h
71.2%71.2%
71.2 % 109 / 153 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.12