LCOV - code coverage report
Current view: top level - modal_formula/include/mcrl2/modal_formula - replace_capture_avoiding.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 16 30 53.3 %
Date: 2024-03-08 02:52:28 Functions: 3 5 60.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl215action_formulas6detail32add_capture_avoiding_replacementINS0_23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderIS3_S2_NS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEESI_E5applyINS0_14action_formulaEEEvRT_RKNS0_6existsE 0
_ZN5mcrl215action_formulas6detail32add_capture_avoiding_replacementINS0_23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderIS3_S2_NS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEESI_E5applyINS0_14action_formulaEEEvRT_RKNS0_6forallE 0
_ZN5mcrl215action_formulas34replace_variables_capture_avoidingINS0_14action_formulaENS_4data24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEET_RKSG_RT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESG_E5valueEvE4typeE 9
_ZN5mcrl215action_formulas34replace_variables_capture_avoidingINS0_14action_formulaENS_4data24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEET_RKSG_RT0_RNS3_24set_identifier_generatorEPNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESG_E5valueEvE4typeE 9
_ZN5mcrl215action_formulas6detail32add_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 9

Generated by: LCOV version 1.14