LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2893 4804 60.2 %
Date: 2024-03-08 02:52:28 Functions: 472 1112 42.4 %
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
34.9%34.9%
34.9 % 66 / 189 44.4 % 4 / 9
bqnf_traverser.h
42.0%42.0%
42.0 % 50 / 119 66.7 % 8 / 12
bqnf_visitor.h
51.5%51.5%
51.5 % 118 / 229 76.2 % 16 / 21
find_free_variables.h
82.1%82.1%
82.1 % 32 / 39 80.0 % 8 / 10
guard_traverser.h
78.9%78.9%
78.9 % 112 / 142 88.9 % 16 / 18
has_propositional_variables.h
0.0%
0.0 % 0 / 10 0.0 % 0 / 3
instantiate_global_variables.h
95.5%95.5%
95.5 % 21 / 22 100.0 % 2 / 2
is_pfnf.h
89.0%89.0%
89.0 % 65 / 73 100.0 % 14 / 14
is_well_typed.h
29.6%29.6%
29.6 % 37 / 125 43.8 % 7 / 16
lps2pbes_e.h
64.6%64.6%
64.6 % 84 / 130 16.7 % 38 / 228
lps2pbes_par.h
77.9%77.9%
77.9 % 60 / 77 75.0 % 18 / 24
lps2pbes_rhs.h
74.0%74.0%
74.0 % 213 / 288 17.6 % 51 / 290
lps2pbes_sat.h
76.4%76.4%
76.4 % 55 / 72 38.2 % 13 / 34
lps2pbes_utility.h
95.7%95.7%
95.7 % 45 / 47 100.0 % 7 / 7
normalize_and_or.h
90.6%90.6%
90.6 % 29 / 32 100.0 % 6 / 6
occurring_variable_visitor.h
100.0%
100.0 % 3 / 3 100.0 % 1 / 1
parity_game_output.h
93.1%93.1%
93.1 % 27 / 29 100.0 % 2 / 2
parse.h
86.5%86.5%
86.5 % 64 / 74 100.0 % 2 / 2
pbes_command.h
0.0%
0.0 % 0 / 10 0.0 % 0 / 3
pbes_context.h
94.4%94.4%
94.4 % 17 / 18 100.0 % 4 / 4
pbes_greybox_interface.h
74.0%74.0%
74.0 % 71 / 96 100.0 % 10 / 10
pbes_parameter_map.h
83.6%83.6%
83.6 % 56 / 67 75.0 % 3 / 4
pbes_property_map.h
97.4%97.4%
97.4 % 75 / 77 100.0 % 7 / 7
pbessolve.h
100.0%
100.0 % 9 / 9 100.0 % 1 / 1
pfnf_print.h
82.0%82.0%
82.0 % 41 / 50 100.0 % 8 / 8
pfnf_traverser.h
91.6%91.6%
91.6 % 152 / 166 89.3 % 25 / 28
ppg_rewriter.h
49.8%49.8%
49.8 % 123 / 247 60.0 % 9 / 15
ppg_traverser.h
73.7%73.7%
73.7 % 87 / 118 85.7 % 12 / 14
ppg_visitor.h
4.7%4.7%
4.7 % 4 / 85 16.7 % 2 / 12
stategraph_algorithm.h
77.8%77.8%
77.8 % 301 / 387 77.3 % 34 / 44
stategraph_global_algorithm.h
0.0%
0.0 % 0 / 89 0.0 % 0 / 7
stategraph_global_reset_variables.h
0.0%
0.0 % 0 / 197 0.0 % 0 / 22
stategraph_graph.h
57.2%57.2%
57.2 % 147 / 257 50.6 % 39 / 77
stategraph_influence.h
0.0%
0.0 % 0 / 63 0.0 % 0 / 9
stategraph_local_algorithm.h
61.7%61.7%
61.7 % 369 / 598 73.2 % 30 / 41
stategraph_local_reset_variables.h
71.9%71.9%
71.9 % 115 / 160 71.4 % 15 / 21
stategraph_pbes.h
71.5%71.5%
71.5 % 168 / 235 79.5 % 35 / 44
stategraph_simplify_rewriter.h
23.2%23.2%
23.2 % 23 / 99 31.6 % 6 / 19
stategraph_split.h
64.3%64.3%
64.3 % 9 / 14 66.7 % 4 / 6
stategraph_utility.h
33.3%33.3%
33.3 % 6 / 18 33.3 % 1 / 3
term_traits_optimized.h
86.7%86.7%
86.7 % 26 / 30 100.0 % 8 / 8
test_utility.h
100.0%
100.0 % 10 / 10 100.0 % 5 / 5

Generated by: LCOV version 1.14