LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data
- replace_capture_avoiding_with_an_identifier_generator.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
45
78
57.7 %
Date:
2024-05-01 03:37:31
Functions:
15
24
62.5 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE3popISt6vectorIS6_SaIS6_EEEEvRKT_
0
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE4pushISt6vectorIS6_SaIS6_EEEET_RKSN_
0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_12where_clauseE
0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_6existsE
0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_6forallE
0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_6lambdaE
0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_7process23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_12where_clauseE
0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_7process23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_6existsE
0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_7process23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_6forallE
0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_7process23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_6lambdaE
86
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE3popERSB_
100
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE3popIN7atermpp9term_listIS6_EEEEvRKT_
100
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE4bindERSB_
100
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE4pushIN7atermpp9term_listIS6_EEEET_RKSN_
100
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RSG_
3086
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_EC2ERSL_RSM_
5223
_ZN5mcrl24data6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_3lps23data_expression_builderENS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS0_24set_identifier_generatorEEC2ERSK_RSL_
5223
_ZN5mcrl24data6detail77apply_replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_3lps23data_expression_builderENS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS0_24set_identifier_generatorEEENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIT_T0_T1_T2_EERSP_RSQ_
5223
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_7process23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_EC2ERSL_RSM_
50609
_ZN5mcrl24data6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_7process23data_expression_builderENS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS0_24set_identifier_generatorEEC2ERSK_RSL_
50609
_ZN5mcrl24data6detail77apply_replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_7process23data_expression_builderENS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS0_24set_identifier_generatorEEENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIT_T0_T1_T2_EERSP_RSQ_
50609
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_7process23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RSG_
54266
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEEC2ERSG_RSH_
55832
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE12substitutionEv
57352
Generated by:
LCOV version 1.14