LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - replace.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 52 59 88.1 % Date: 2024-05-04 03:44:52 Functions: 28 37 75.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system22replace_free_variablesINS0_36propositional_variable_instantiationENS0_6detail37variable_data_expression_substitutionEEET_RKS5_RKT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES5_E5valueEvE4typeE	0
_ZN5mcrl211pbes_system31replace_propositional_variablesINS0_15pbes_expressionEZNS0_23pbesinst_lazy_algorithm18rewrite_true_falseERS2_RKNS0_15fixpoint_symbolERKNS0_36propositional_variable_instantiationERKS2_EUlSA_E_EEvRT_RKSE_RKT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESE_E5valueEvE4typeE	0
_ZN5mcrl211pbes_system31replace_propositional_variablesINS0_4pbesENS0_33unify_parameters_replace_functionEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	0
_ZN5mcrl211pbes_system6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_33unify_parameters_replace_functionEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationE	0
_ZN5mcrl211pbes_system6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_33unify_parameters_replace_functionEEC2ERKS4_	0
_ZN5mcrl211pbes_system6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZNS0_23pbesinst_lazy_algorithm18rewrite_true_falseERNS0_15pbes_expressionERKNS0_15fixpoint_symbolERKNS0_36propositional_variable_instantiationERKS5_EUlSC_E_E5applyIS5_EEvRT_SC_	0
_ZN5mcrl211pbes_system6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZNS0_23pbesinst_lazy_algorithm18rewrite_true_falseERNS0_15pbes_expressionERKNS0_15fixpoint_symbolERKNS0_36propositional_variable_instantiationERKS5_EUlSC_E_EC2ERKSF_	0
_ZN5mcrl211pbes_system6detail44make_replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_33unify_parameters_replace_functionEEENS1_39replace_propositional_variables_builderIT_T0_EERKS7_	0
_ZN5mcrl211pbes_system6detail44make_replace_propositional_variables_builderINS0_23pbes_expression_builderEZNS0_23pbesinst_lazy_algorithm18rewrite_true_falseERNS0_15pbes_expressionERKNS0_15fixpoint_symbolERKNS0_36propositional_variable_instantiationERKS5_EUlSC_E_EENS1_39replace_propositional_variables_builderIT_T0_EERKSI_	0
_ZN5mcrl211pbes_system17replace_variablesINS0_15pbes_expressionENS_4data21variable_substitutionEEET_RKS5_RKT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES5_E5valueEvE4typeE	1
_ZN5mcrl211pbes_system17replace_variablesINS0_15pbes_expressionENS_4data24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEET_RKSG_RKT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESG_E5valueEvE4typeE	1
_ZN5mcrl211pbes_system17replace_variablesINS0_4pbesENS_4data24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermESG_E5valueEvE4typeE	1
_ZN5mcrl211pbes_system24replace_pbes_expressionsINS0_15pbes_expressionEFS2_RKS2_EEET_RKS6_RKT0_bPNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES6_E5valueEvE4typeE	1
_ZN5mcrl211pbes_system31replace_propositional_variablesINS0_4pbesENS0_35propositional_variable_substitutionEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	1
_ZN5mcrl211pbes_system31replace_propositional_variablesINS0_4pbesEZN36test_replace_propositional_variables11test_methodEvEUlRKNS0_36propositional_variable_instantiationEE_EEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES8_E5valueEvE4typeE	1
_ZN5mcrl211pbes_system6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderEPFNS0_15pbes_expressionERKS4_EEC2ES8_b	1
_ZN5mcrl211pbes_system6detail37make_replace_pbes_expressions_builderINS0_23pbes_expression_builderEPFNS0_15pbes_expressionERKS4_EEENS1_35substitute_pbes_expressions_builderIT_T0_EESB_b	1
_ZN5mcrl211pbes_system6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZN36test_replace_propositional_variables11test_methodEvEUlRKNS0_36propositional_variable_instantiationEE_EC2ERKS8_	1
_ZN5mcrl211pbes_system6detail44make_replace_propositional_variables_builderINS0_23pbes_expression_builderEZN36test_replace_propositional_variables11test_methodEvEUlRKNS0_36propositional_variable_instantiationEE_EENS1_39replace_propositional_variables_builderIT_T0_EERKSB_	1
_ZN5mcrl211pbes_system6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZN36test_replace_propositional_variables11test_methodEvEUlRKNS0_36propositional_variable_instantiationEE_E5applyINS0_15pbes_expressionEEEvRT_S7_	2
_ZN5mcrl211pbes_system22replace_free_variablesINS0_15pbes_expressionENS0_6detail37variable_data_expression_substitutionEEET_RKS5_RKT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES5_E5valueEvE4typeE	3
_ZN5mcrl211pbes_system6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderEPFNS0_15pbes_expressionERKS4_EE5applyIS4_EEvRT_S6_	3
_ZN5mcrl211pbes_system22replace_free_variablesINS0_36propositional_variable_instantiationENS_4data24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEET_RKSG_RKT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESG_E5valueEvE4typeE	4
_ZN5mcrl211pbes_system22replace_free_variablesISt6vectorINS0_13pbes_equationESaIS3_EENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEvRT_RKT0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermESJ_E5valueEvE4typeE	5
_ZN5mcrl211pbes_system22replace_free_variablesINS0_15pbes_expressionENS_4data28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEEET_RKS8_RKT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES8_E5valueEvE4typeE	15
_ZN5mcrl211pbes_system24replace_pbes_expressionsINS0_4pbesENS0_23one_point_rule_rewriterEEEvRT_RKT0_bPNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	86
_ZN5mcrl211pbes_system31replace_propositional_variablesINS0_15pbes_expressionENS0_35propositional_variable_substitutionEEET_RKS4_RKT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	86
_ZN5mcrl211pbes_system6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEEC2ES4_b	86
_ZN5mcrl211pbes_system6detail37make_replace_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEEENS1_35substitute_pbes_expressions_builderIT_T0_EES7_b	86
_ZN5mcrl211pbes_system6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_35propositional_variable_substitutionEEC2ERKS4_	87
_ZN5mcrl211pbes_system6detail44make_replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_35propositional_variable_substitutionEEENS1_39replace_propositional_variables_builderIT_T0_EERKS7_	87
_ZN5mcrl211pbes_system31replace_propositional_variablesINS0_15pbes_expressionENS0_15pbesinst_renameEEET_RKS4_RKT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	90
_ZN5mcrl211pbes_system6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_15pbesinst_renameEEC2ERKS4_	90
_ZN5mcrl211pbes_system6detail44make_replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_15pbesinst_renameEEENS1_39replace_propositional_variables_builderIT_T0_EERKS7_	90
_ZN5mcrl211pbes_system6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEE5applyINS0_15pbes_expressionEEEvRT_RKS7_	94
_ZN5mcrl211pbes_system6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_15pbesinst_renameEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationE	114
_ZN5mcrl211pbes_system6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_35propositional_variable_substitutionEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationE	121

Generated by: LCOV version 1.14