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