LCOV - code coverage report

Current view: top level - process/include/mcrl2/process - replace_capture_avoiding.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 47 56 83.9 % Date: 2024-05-04 03:44:52 Functions: 12 14 85.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process6detail32add_capture_avoiding_replacementINS0_23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderIS3_S2_NS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEESI_E5applyINS0_18process_expressionEEEvRT_RKNS0_19stochastic_operatorE	0
_ZN5mcrl27process6detail32add_capture_avoiding_replacementINS_3lps23data_expression_builderENS3_21parunfold_replacementIS4_NS3_6detail32add_capture_avoiding_replacementEEES8_EC2ERNS_4data6detail37capture_avoiding_substitution_updaterIS8_EE	0
_ZN5mcrl27process6detail32add_capture_avoiding_replacementINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderIS4_NS3_6detail32add_capture_avoiding_replacementEKNS5_24mutable_map_substitutionISt3mapINS5_8variableENS5_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEESM_EC2ERNS6_37capture_avoiding_substitution_updaterISM_EE	1
_ZN5mcrl27process34replace_variables_capture_avoidingIN7atermpp9term_listINS0_6actionEEENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEET_RKSJ_RT0_PNSt9enable_ifIXsrSt10is_base_ofINS2_5atermESJ_E5valueEvE4typeE	2
_ZN5mcrl27process34replace_variables_capture_avoidingIN7atermpp9term_listINS0_6actionEEENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEET_RKSJ_RT0_RNS6_24set_identifier_generatorEPNSt9enable_ifIXsrSt10is_base_ofINS2_5atermESJ_E5valueEvE4typeE	2
_ZN5mcrl27process6detail32add_capture_avoiding_replacementINS0_23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderIS3_S2_NS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEESI_E5applyINS0_18process_expressionEEEvRT_RKNS0_27process_instance_assignmentE	2
_ZN5mcrl27process6detail32add_capture_avoiding_replacementINS0_23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderIS3_S2_NS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEESI_E5applyINS0_18process_expressionEEEvRT_RKNS0_3sumE	2
_ZN5mcrl27process34replace_variables_capture_avoidingINS0_18process_expressionENS_4data24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEET_RKSG_RT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESG_E5valueEvE4typeE	3
_ZN5mcrl27process34replace_variables_capture_avoidingINS0_18process_expressionENS_4data24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEET_RKSG_RT0_RNS3_24set_identifier_generatorEPNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESG_E5valueEvE4typeE	3
_ZNK5mcrl27process6detail32add_capture_avoiding_replacementINS0_23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderIS3_S2_NS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEESI_E13find_variableERKN7atermpp9term_listINS4_10assignmentEEERSE_	4
_ZN5mcrl27process6detail32add_capture_avoiding_replacementINS_15action_formulas23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderIS4_NS3_6detail32add_capture_avoiding_replacementENS5_24mutable_map_substitutionISt3mapINS5_8variableENS5_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEESL_EC2ERNS6_37capture_avoiding_substitution_updaterISL_EE	9
_ZN5mcrl27process34replace_variables_capture_avoidingINS0_6actionENS_4data24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEET_RKSG_RT0_RNS3_24set_identifier_generatorEPNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESG_E5valueEvE4typeE	20
_ZN5mcrl27process6detail32add_capture_avoiding_replacementINS0_23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderIS3_S2_NS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEESI_EC2ERNS5_37capture_avoiding_substitution_updaterISI_EE	25
_ZN5mcrl27process6detail32add_capture_avoiding_replacementINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderIS4_NS3_6detail32add_capture_avoiding_replacementENS5_24mutable_map_substitutionISt3mapINS5_8variableENS5_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEESL_EC2ERNS6_37capture_avoiding_substitution_updaterISL_EE	1676

Generated by: LCOV version 1.14