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