LCOV - mcrl2_coverage.info.cleaned - process/include/mcrl2/process/replace.h

LCOV - code coverage report

Current view:	top level - process/include/mcrl2/process - replace.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	14	17	82.4 %
Date:	2024-05-04 03:44:52	Functions:	5	6	83.3 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl27process27replace_process_identifiersINS0_18process_expressionEN24specification_basic_type17make_substitutionEEET_RKS5_RKT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES5_E5valueEvE4typeE	0
_ZN5mcrl27process17replace_variablesIN7atermpp9term_listINS0_6actionEEENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEET_RKSJ_RKT0_PNSt9enable_ifIXsrSt10is_base_ofINS2_5atermESJ_E5valueEvE4typeE	1
_ZN5mcrl27process27replace_process_identifiersINS0_18process_expressionENS0_29process_identifier_assignmentEEET_RKS4_RKT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES4_E5valueEvE4typeE	1
_ZN5mcrl27process29process_identifier_assignmentC2ERKNS0_18process_identifierES4_	1
_ZNK5mcrl27process29process_identifier_assignmentclERKNS0_18process_identifierE	2
_ZN5mcrl27process27replace_process_identifiersINS0_18process_expressionENS_4data24mutable_map_substitutionISt3mapINS0_18process_identifierES6_St4lessIS6_ESaISt4pairIKS6_S6_EEEEEEET_RKSF_RKT0_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESF_E5valueEvE4typeE	7