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
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