LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - replace_capture_avoiding.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 30 30 100.0 % Date: 2024-05-04 03:44:52 Functions: 5 5 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail32add_capture_avoiding_replacementINS0_23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderIS3_S2_NS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEESI_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE	28
_ZN5mcrl211pbes_system6detail32add_capture_avoiding_replacementINS0_23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderIS3_S2_NS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEESI_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE	30
_ZN5mcrl211pbes_system34replace_variables_capture_avoidingINS0_15pbes_expressionENS_4data24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEET_RKSG_RT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESG_E5valueEvE4typeE	925
_ZN5mcrl211pbes_system34replace_variables_capture_avoidingINS0_15pbes_expressionENS_4data24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEET_RKSG_RT0_RNS3_24set_identifier_generatorEPNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESG_E5valueEvE4typeE	925
_ZN5mcrl211pbes_system6detail32add_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	925

Generated by: LCOV version 1.14