LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - rewrite.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 17 17 100.0 % Date: 2024-05-01 03:37:31 Functions: 25 60 41.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system12pbes_rewriteINS0_4pbesENS0_11if_rewriterEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	0
_ZN5mcrl211pbes_system12pbes_rewriteINS0_4pbesENS0_13data_rewriterINS_4data8rewriterEEEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES7_E5valueEvE4typeE	0
_ZN5mcrl211pbes_system12pbes_rewriteINS0_4pbesENS0_18data2pbes_rewriterEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	0
_ZN5mcrl211pbes_system12pbes_rewriteINS0_4pbesENS0_23one_point_rule_rewriterEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	0
_ZN5mcrl211pbes_system12pbes_rewriteINS0_4pbesENS0_27quantifiers_inside_rewriterEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	0
_ZN5mcrl211pbes_system12pbes_rewriteINS0_4pbesENS0_29simplify_quantifiers_rewriterEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	0
_ZN5mcrl211pbes_system12pbes_rewriteINS0_4pbesENS0_34simplify_quantifiers_data_rewriterINS_4data8rewriterEEEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES7_E5valueEvE4typeE	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_11if_rewriterEE5applyINS0_15pbes_expressionEEEvRT_RKS7_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_11if_rewriterEE6updateERNS0_4pbesE	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_11if_rewriterEEC2ERKS4_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_13data_rewriterINS_4data8rewriterEEEE5applyINS0_15pbes_expressionEEEvRT_RKSA_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_13data_rewriterINS_4data8rewriterEEEE6updateERNS0_4pbesE	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_13data_rewriterINS_4data8rewriterEEEEC2ERKS7_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_18data2pbes_rewriterEE5applyINS0_15pbes_expressionEEEvRT_RKS7_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_18data2pbes_rewriterEE6updateERNS0_4pbesE	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_18data2pbes_rewriterEEC2ERKS4_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEE5applyINS0_15pbes_expressionEEEvRT_RKS7_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEE6updateERNS0_4pbesE	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEEC2ERKS4_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_27quantifiers_inside_rewriterEE5applyINS0_15pbes_expressionEEEvRT_RKS7_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_27quantifiers_inside_rewriterEE6updateERNS0_4pbesE	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_27quantifiers_inside_rewriterEEC2ERKS4_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_29simplify_quantifiers_rewriterEE5applyINS0_15pbes_expressionEEEvRT_RKS7_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_29simplify_quantifiers_rewriterEE6updateERNS0_4pbesE	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_29simplify_quantifiers_rewriterEEC2ERKS4_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_34simplify_quantifiers_data_rewriterINS_4data8rewriterEEEE5applyINS0_15pbes_expressionEEEvRT_RKSA_	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_34simplify_quantifiers_data_rewriterINS_4data8rewriterEEEE6updateERNS0_4pbesE	0
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_34simplify_quantifiers_data_rewriterINS_4data8rewriterEEEEC2ERKS7_	0
_ZN5mcrl211pbes_system6detail37make_rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_11if_rewriterEEENS1_32rewrite_pbes_expressions_builderIT_T0_EERKS7_	0
_ZN5mcrl211pbes_system6detail37make_rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_13data_rewriterINS_4data8rewriterEEEEENS1_32rewrite_pbes_expressions_builderIT_T0_EERKSA_	0
_ZN5mcrl211pbes_system6detail37make_rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_18data2pbes_rewriterEEENS1_32rewrite_pbes_expressions_builderIT_T0_EERKS7_	0
_ZN5mcrl211pbes_system6detail37make_rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEEENS1_32rewrite_pbes_expressions_builderIT_T0_EERKS7_	0
_ZN5mcrl211pbes_system6detail37make_rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_27quantifiers_inside_rewriterEEENS1_32rewrite_pbes_expressions_builderIT_T0_EERKS7_	0
_ZN5mcrl211pbes_system6detail37make_rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_29simplify_quantifiers_rewriterEEENS1_32rewrite_pbes_expressions_builderIT_T0_EERKS7_	0
_ZN5mcrl211pbes_system6detail37make_rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_34simplify_quantifiers_data_rewriterINS_4data8rewriterEEEEENS1_32rewrite_pbes_expressions_builderIT_T0_EERKSA_	0
_ZN5mcrl211pbes_system12pbes_rewriteINS0_4pbesENS0_13bqnf_rewriterEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	1
_ZN5mcrl211pbes_system12pbes_rewriteINS0_4pbesENS0_17simplify_rewriterEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	1
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_13bqnf_rewriterEE6updateERNS0_4pbesE	1
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_13bqnf_rewriterEEC2ERKS4_	1
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_17simplify_rewriterEE6updateERNS0_4pbesE	1
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_17simplify_rewriterEEC2ERKS4_	1
_ZN5mcrl211pbes_system6detail37make_rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_13bqnf_rewriterEEENS1_32rewrite_pbes_expressions_builderIT_T0_EERKS7_	1
_ZN5mcrl211pbes_system6detail37make_rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_17simplify_rewriterEEENS1_32rewrite_pbes_expressions_builderIT_T0_EERKS7_	1
_ZN5mcrl211pbes_system12pbes_rewriteINS0_4pbesENS0_30enumerate_quantifiers_rewriterEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	2
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_30enumerate_quantifiers_rewriterEE6updateERNS0_4pbesE	2
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_30enumerate_quantifiers_rewriterEEC2ERKS4_	2
_ZN5mcrl211pbes_system6detail37make_rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_30enumerate_quantifiers_rewriterEEENS1_32rewrite_pbes_expressions_builderIT_T0_EERKS7_	2
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_17simplify_rewriterEE5applyINS0_15pbes_expressionEEEvRT_RKS7_	3
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_13bqnf_rewriterEE5applyINS0_15pbes_expressionEEEvRT_RKS7_	4
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_30enumerate_quantifiers_rewriterEE5applyINS0_15pbes_expressionEEEvRT_RKS7_	4
_ZN5mcrl211pbes_system12pbes_rewriteINS0_4pbesENS0_13pfnf_rewriterEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	6
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_13pfnf_rewriterEE6updateERNS0_4pbesE	6
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_13pfnf_rewriterEEC2ERKS4_	6
_ZN5mcrl211pbes_system6detail37make_rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_13pfnf_rewriterEEENS1_32rewrite_pbes_expressions_builderIT_T0_EERKS7_	6
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_13pfnf_rewriterEE5applyINS0_15pbes_expressionEEEvRT_RKS7_	16
_ZN5mcrl211pbes_system12pbes_rewriteINS0_4pbesENS0_22simplify_data_rewriterINS_4data8rewriterEEEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES7_E5valueEvE4typeE	84
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_22simplify_data_rewriterINS_4data8rewriterEEEE6updateERNS0_4pbesE	84
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_22simplify_data_rewriterINS_4data8rewriterEEEEC2ERKS7_	84
_ZN5mcrl211pbes_system6detail37make_rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_22simplify_data_rewriterINS_4data8rewriterEEEEENS1_32rewrite_pbes_expressions_builderIT_T0_EERKSA_	84
_ZN5mcrl211pbes_system6detail32rewrite_pbes_expressions_builderINS0_23pbes_expression_builderENS0_22simplify_data_rewriterINS_4data8rewriterEEEE5applyINS0_15pbes_expressionEEEvRT_RKSA_	176

Generated by: LCOV version 1.14