LCOV - code coverage report
Current view:
top level
-
pbes/include/mcrl2/pbes/rewriters
- simplify_quantifiers_rewriter.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
68
80
85.0 %
Date:
2024-05-04 03:44:52
Functions:
6
11
54.5 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl211pbes_system34simplify_quantifiers_data_rewriterINS_4data8rewriterEEC2ERKS3_
146
_ZN5mcrl211pbes_system6detail24add_simplify_quantifiersINS1_16simplify_builderENS1_22apply_rewriter_builderINS1_27stategraph_simplify_builderENS_4data17simplify_rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE
0
_ZN5mcrl211pbes_system6detail24add_simplify_quantifiersINS1_16simplify_builderENS1_22apply_rewriter_builderINS1_27stategraph_simplify_builderENS_4data17simplify_rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE
0
_ZN5mcrl211pbes_system6detail24add_simplify_quantifiersINS1_16simplify_builderENS1_22apply_rewriter_builderINS1_42simplify_quantifiers_data_rewriter_builderENS_4data8rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE
268
_ZN5mcrl211pbes_system6detail24add_simplify_quantifiersINS1_16simplify_builderENS1_22apply_rewriter_builderINS1_42simplify_quantifiers_data_rewriter_builderENS_4data8rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE
104
_ZN5mcrl211pbes_system6detail24add_simplify_quantifiersINS1_16simplify_builderENS_4core13apply_builderINS1_28simplify_quantifiers_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE
0
_ZN5mcrl211pbes_system6detail24add_simplify_quantifiersINS1_16simplify_builderENS_4core13apply_builderINS1_28simplify_quantifiers_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE
0
_ZN5mcrl211pbes_system6detail42simplify_quantifiers_data_rewriter_builderINS1_22apply_rewriter_builderINS1_27stategraph_simplify_builderENS_4data17simplify_rewriterENS5_15no_substitutionEEES6_S7_EC2ERKS6_RS7_
108
_ZN5mcrl211pbes_system6detail42simplify_quantifiers_data_rewriter_builderINS1_22apply_rewriter_builderIS2_NS_4data8rewriterENS4_15no_substitutionEEES5_S6_EC2ERKS5_RS6_
645
_ZNK5mcrl211pbes_system29simplify_quantifiers_rewriterclERKNS0_15pbes_expressionE
0
_ZNK5mcrl211pbes_system34simplify_quantifiers_data_rewriterINS_4data8rewriterEEclERKNS0_15pbes_expressionE
645
Generated by:
LCOV version 1.14