LCOV - code coverage report
Current view:
top level
-
pbes/include/mcrl2/pbes/detail
- stategraph_simplify_rewriter.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
23
99
23.2 %
Date:
2024-05-01 03:37:31
Functions:
6
19
31.6 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl211pbes_system6detail14stategraph_notERKNS0_15pbes_expressionE
0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationE
0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impE
0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E
0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E
0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE
0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE
0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E7derivedEv
0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E7not_argERKNS0_15pbes_expressionE
0
_ZN5mcrl211pbes_system6detail8smart_orERKNS0_15pbes_expressionES4_
0
_ZN5mcrl211pbes_system6detail9smart_andERKNS0_15pbes_expressionES4_
0
_ZNK5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E18stategraph_join_orERKSt6vectorINS0_15pbes_expressionESaISA_EE
0
_ZNK5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E19stategraph_join_andERKSt6vectorINS0_15pbes_expressionESaISA_EE
0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E
1
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_EC2ERKS5_RS6_
108
_ZN5mcrl211pbes_system6detail28stategraph_simplify_rewriterINS_4data17simplify_rewriterEEC2ERKS4_
108
_ZNK5mcrl211pbes_system6detail28stategraph_simplify_rewriterINS_4data17simplify_rewriterEEclERKNS0_15pbes_expressionE
108
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS4_15data_expressionE
109
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E12post_processERKNS0_15pbes_expressionE
110
Generated by:
LCOV version 1.14