LCOV - code coverage report
Current view: top level - data/include/mcrl2/data - data_equation.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 34 38 89.5 %
Date: 2024-05-01 03:37:31 Functions: 18 20 90.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24data13data_equationC2ERKN7atermpp5atermE 0
_ZN5mcrl24data18make_data_equationIJZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS0_13data_equationEEEvRT_RKSA_EUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SE_EUlRNS0_15data_expressionEE0_ZNS9_ISA_EEvSC_SE_EUlSM_E1_ZNS9_ISA_EEvSC_SE_EUlSM_E2_EEEvRNSF_9term_applINSF_5atermEEEDpRKT_ 0
_ZN5mcrl24datalsERSoRKNS0_13data_equationE 1
_ZN5mcrl24data13data_equationC2ISt6vectorINS0_8variableESaIS4_EEEERKT_RKNS0_15data_expressionESC_PN7atermpp19enable_if_containerIS7_S4_E4typeE 2691
_ZN5mcrl24data13data_equationaSEOS1_ 3197
_ZN5mcrl24data18make_data_equationIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_20update_apply_builderINS0_23data_expression_builderENS0_6detail32translate_user_notation_functionEEEE5applyINS0_13data_equationEEEvRT_RKSG_EUlRNS0_15data_expressionEE_ZNSF_ISG_EEvSI_SK_EUlSM_E0_ZNSF_ISG_EEvSI_SK_EUlSM_E1_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_ 3793
_ZN5mcrl24data13data_equationC2ISt6vectorINS0_8variableESaIS4_EEEERKT_RKNS0_15data_expressionESC_SC_PN7atermpp19enable_if_containerIS7_S4_E4typeE 4382
_ZN5mcrl24data13data_equationC2ERKNS0_15data_expressionES4_ 24503
_ZN5mcrl24data13data_equationC2ERKN7atermpp9term_listINS0_8variableEEERKNS0_15data_expressionESA_SA_ 149247
_ZN5mcrl24data13data_equationaSERKS1_ 1800532
_ZN5mcrl24data13data_equationC2IN7atermpp9term_listINS0_8variableEEEEERKT_RKNS0_15data_expressionESC_PNS3_19enable_if_containerIS7_S5_E4typeE 2547796
_ZN5mcrl24data18make_data_equationIJZNS0_20add_sort_expressionsINS_4core7builderENS3_20update_apply_builderINS0_23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_13data_equationEEEvRT_RKSC_EUlRN7atermpp9term_listINS0_8variableEEEE_ZNSB_ISC_EEvSE_SG_EUlRNS0_15data_expressionEE0_ZNSB_ISC_EEvSE_SG_EUlSO_E1_ZNSB_ISC_EEvSE_SG_EUlSO_E2_EEEvRNSH_9term_applINSH_5atermEEEDpRKT_ 2726675
_ZN5mcrl24data16is_data_equationERKN7atermpp9term_applINS1_5atermEEE 2886082
_ZN5mcrl24data13data_equationC2Ev 3093782
_ZNK5mcrl24data13data_equation3rhsEv 4574082
_ZNK5mcrl24data13data_equation9conditionEv 5193399
_ZNK5mcrl24data13data_equation9variablesEv 5444335
_ZN5mcrl24data13data_equationC2ERKS1_ 10020909
_ZNK5mcrl24data13data_equation3lhsEv 11934503
_ZN5mcrl24data13data_equationC2EOS1_ 13706707

Generated by: LCOV version 1.14