LCOV - code coverage report
Current view: top level - lps/include/mcrl2/lps - replace_capture_avoiding_with_an_identifier_generator.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 7 8 87.5 %
Date: 2024-05-04 03:44:52 Functions: 3 3 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lps63replace_variables_capture_avoiding_with_an_identifier_generatorINS_7process6actionENS_4data25maintain_variables_in_rhsINS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS8_ESaISt4pairIKS8_S9_EEEEEEENS4_24set_identifier_generatorEEET_RKSK_RT0_RT1_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESK_E5valueEvE4typeE 2245
_ZN5mcrl23lps63replace_variables_capture_avoiding_with_an_identifier_generatorIN7atermpp9term_listINS_7process6actionEEENS_4data25maintain_variables_in_rhsINS7_24mutable_map_substitutionISt3mapINS7_8variableENS7_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS7_24set_identifier_generatorEEET_RKSN_RT0_RT1_PNSt9enable_ifIXsrSt10is_base_ofINS2_5atermESN_E5valueEvE4typeE 2978
_ZN5mcrl23lps6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS0_23data_expression_builderENS_4data6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS3_S2_NS4_25maintain_variables_in_rhsINS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS4_24set_identifier_generatorEEESK_SL_EC2ERSK_RSL_ 5223

Generated by: LCOV version 1.14