LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - function_sort.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 31 33 93.9 % Date: 2024-05-01 03:37:31 Functions: 17 20 85.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data18make_function_sortIJZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_13function_sortEEET_RKSA_RKNS0_15sort_expressionEEUlSF_E_EEE5applyISD_EEvRSA_RKS9_EUlRN7atermpp9term_listISD_EEE_ZNSJ_ISD_EEvSK_SM_EUlRSD_E0_EEEvRNSN_9term_applINSN_5atermEEEDpRKT_	0
_ZN5mcrl24data18make_function_sortIJZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS0_15sort_expressionEEEvRT_RKNS0_13function_sortEEUlRN7atermpp9term_listISA_EEE_ZNS9_ISA_EEvSC_SF_EUlRSA_E0_EEEvRNSG_9term_applINSG_5atermEEEDpRKT_	0
_ZN5mcrl24datalsERSoRKNS0_13function_sortE	0
_ZN5mcrl24data18make_function_sortIJZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_15data_expressionEEET_RKSA_RKNS0_15sort_expressionEEUlSF_E_EEE5applyISD_EEvRSA_RKNS0_13function_sortEEUlRN7atermpp9term_listISD_EEE_ZNSJ_ISD_EEvSK_SN_EUlRSD_E0_EEEvRNSO_9term_applINSO_5atermEEEDpRKT_	1
_ZN5mcrl24data18make_function_sortIJZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system18absinthe_algorithm32absinthe_sort_expression_builderEE5applyINS0_15sort_expressionEEEvRT_RKNS0_13function_sortEEUlRN7atermpp9term_listISA_EEE_ZNS9_ISA_EEvSC_SF_EUlRSA_E0_EEEvRNSG_9term_applINSG_5atermEEEDpRKT_	1
_ZN5mcrl24data18make_function_sortIJZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderENS0_26sort_expression_assignmentEEEE5applyINS0_15sort_expressionEEEvRT_RKNS0_13function_sortEEUlRN7atermpp9term_listISC_EEE_ZNSB_ISC_EEvSE_SH_EUlRSC_E0_EEEvRNSI_9term_applINSI_5atermEEEDpRKT_	136
_ZN5mcrl24data13function_sortC2Ev	159
_ZN5mcrl24data18make_function_sortIJZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_13function_sortEEET_RKSA_RKNS0_15sort_expressionEEUlSF_E_EEE5applyIS9_EEvRSA_RKS9_EUlRN7atermpp9term_listISD_EEE_ZNSJ_IS9_EEvSK_SM_EUlRSD_E0_EEEvRNSN_9term_applINSN_5atermEEEDpRKT_	159
_ZN5mcrl24data13function_sortaSERKS1_	271
_ZN5mcrl24data13function_sortC2EOS1_	924
_ZN5mcrl24data19make_function_sort_ERKNS0_15sort_expressionES3_S3_S3_S3_	10352
_ZN5mcrl24data13function_sortC2ERKS1_	13665
_ZN5mcrl24data19make_function_sort_ERKNS0_15sort_expressionES3_S3_S3_	648160
_ZN5mcrl24data19make_function_sort_ERKNS0_15sort_expressionES3_	984289
_ZN5mcrl24data19make_function_sort_ERKNS0_15sort_expressionES3_S3_	3700940
_ZN5mcrl24data13function_sortC2ERKN7atermpp9term_listINS0_15sort_expressionEEERKS4_	5460222
_ZN5mcrl24data13function_sortC2ISt6vectorINS0_15sort_expressionESaIS4_EEEERKT_RKS4_PN7atermpp19enable_if_containerIS7_S4_E4typeE	12451814
_ZNK5mcrl24data13function_sort6domainEv	18149803
_ZNK5mcrl24data13function_sort8codomainEv	28286593
_ZN5mcrl24data13function_sortC2ERKN7atermpp5atermE	41001762

Generated by: LCOV version 1.14