LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - data_expression.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 73 75 97.3 % Date: 2024-04-26 03:18:02 Functions: 30 31 96.8 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data25make_data_expression_listIN7atermpp9term_listINS0_8variableEEEEENS3_INS0_15data_expressionEEERKT_PNS2_19enable_if_containerIS8_S6_E4typeE	0
_ZN5mcrl24data11is_constantERKNS0_15data_expressionE	2638
_ZN5mcrl24datalsERSoRKNS0_15data_expressionE	2957
_ZN5mcrl24data37variable_list_to_data_expression_listERKN7atermpp9term_listINS0_8variableEEE	4791
_ZNKSt4hashIN5mcrl24data15data_expressionEEclERKS2_	4853
_ZN5mcrl24data23is_application_no_checkERKN7atermpp9term_applINS1_5atermEEE	18824
_ZNK5mcrl24data15data_expressionclERKS1_S3_S3_S3_	123594
_ZN5mcrl24data18is_data_expressionERKN7atermpp9term_applINS1_5atermEEE	308741
_ZN5mcrl24data35is_untyped_set_or_bag_comprehensionERKN7atermpp9term_applINS1_5atermEEE	308760
_ZN5mcrl24data20is_bag_comprehensionERKN7atermpp9term_applINS1_5atermEEE	341948
_ZN5mcrl24data20is_set_comprehensionERKN7atermpp9term_applINS1_5atermEEE	341976
_ZN5mcrl24data9is_existsERKN7atermpp9term_applINS1_5atermEEE	350349
_ZN5mcrl24data9is_lambdaERKN7atermpp9term_applINS1_5atermEEE	351370
_ZN5mcrl24data9is_forallERKN7atermpp9term_applINS1_5atermEEE	376349
_ZN5mcrl24data15data_expressionaSEOS1_	448307
_ZNK5mcrl24data15data_expression26is_default_data_expressionEv	738584
_ZNK5mcrl24data15data_expressionclERKS1_S3_S3_	829446
_ZNK5mcrl24data15data_expressionclERKS1_	3160936
_ZNK5mcrl24data15data_expressionclERKS1_S3_	4498585
_ZN5mcrl24data15data_expressionC2EOS1_	5540715
_ZN5mcrl24data15data_expressionaSERKS1_	5864368
_ZN5mcrl24data14is_applicationERKN7atermpp9term_applINS1_5atermEEE	5982002
_ZN5mcrl24data15data_expressionC2Ev	7918117
_ZN5mcrl24data21is_untyped_identifierERKN7atermpp9term_applINS1_5atermEEE	29779936
_ZN5mcrl24data15data_expressionC2ERKS1_	32090379
_ZN5mcrl24data14is_applicationERKNS0_15data_expressionE	35472997
_ZN5mcrl24data15is_where_clauseERKN7atermpp9term_applINS1_5atermEEE	38181471
_ZN5mcrl24data14is_abstractionERKN7atermpp5atermE	92381482
_ZN5mcrl24data11is_variableERKN7atermpp5atermE	129673803
_ZN5mcrl24data18is_function_symbolERKN7atermpp9term_applINS1_5atermEEE	136109799
_ZN5mcrl24data15data_expressionC2ERKN7atermpp5atermE	207146702

Generated by: LCOV version 1.14