LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - find_equalities.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 186 209 89.0 % Date: 2024-05-04 03:44:52 Functions: 39 55 70.9 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data18print_inequalitiesB5cxx11ERKSt3mapINS0_8variableESt3setINS0_15data_expressionESt4lessIS4_ESaIS4_EES5_IS2_ESaISt4pairIKS2_S8_EEE	0
_ZN5mcrl24data6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE5leaveERKNS0_11abstractionE	0
_ZN5mcrl24data6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE5leaveERKNS0_12where_clauseE	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pbes_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE5leaveERKNS0_11abstractionE	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pbes_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE5leaveERKNS0_12where_clauseE	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pres_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE13two_below_topEv	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pres_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE3popEv	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pres_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE3topEv	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pres_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE4pushERKNS1_26find_equalities_expressionE	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pres_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE5applyERKNS0_11applicationE	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pres_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE5leaveERKNS0_11abstractionE	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pres_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE5leaveERKNS0_12where_clauseE	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pres_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE5leaveERKNS0_15function_symbolE	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pres_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE5leaveERKNS0_8variableE	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pres_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE7derivedEv	0
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pres_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE9below_topEv	0
_ZN5mcrl24data17find_inequalitiesERKNS0_15data_expressionE	1
_ZNK5mcrl24data6detail21equality_set_with_top22non_empty_intersectionERKN7atermpp9term_listINS0_8variableEEERKSt3setIS5_St4lessIS5_ESaIS5_EE	2
_ZZNK5mcrl24data6detail21equality_set_with_top11must_deleteERKN7atermpp9term_listINS0_8variableEEERKS5_RSt3setINS0_15data_expressionESt4lessISC_ESaISC_EEENKUlRKSC_E_clESJ_	2
_ZZNK5mcrl24data6detail21equality_set_with_top22non_empty_intersectionERKN7atermpp9term_listINS0_8variableEEERKSt3setIS5_St4lessIS5_ESaIS5_EEENKUlRKS5_E_clESH_	2
_ZNK5mcrl24data6detail21equality_set_with_top11must_deleteERKN7atermpp9term_listINS0_8variableEEERKS5_RSt3setINS0_15data_expressionESt4lessISC_ESaISC_EE	4
_ZZN5mcrl24data6detail21equality_set_with_top7delete_ERKN7atermpp9term_listINS0_8variableEEEENKUlRSt4pairIKS5_St3setINS0_15data_expressionESt4lessISC_ESaISC_EEEE_clESI_	4
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pbes_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE13two_below_topEv	22
_ZN5mcrl24data6detail26find_equalities_expression7delete_ERKN7atermpp9term_listINS0_8variableEEE	26
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pbes_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE5leaveERKNS0_8variableE	27
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pbes_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE5leaveERKNS0_15function_symbolE	34
_ZN5mcrl24data6detail21equality_set_with_top7delete_ERKN7atermpp9term_listINS0_8variableEEE	52
_ZN5mcrl24data6detail26find_equalities_expression7join_orERKS2_	162
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pbes_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE7derivedEv	207
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pbes_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE9below_topEv	242
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pbes_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE3popEv	264
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pbes_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE5applyERKNS0_11applicationE	431
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pbes_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE4pushERKNS1_26find_equalities_expressionE	509
_ZN5mcrl24data6detail26find_equalities_expressionC2Ev	1064
_ZN5mcrl24data6detail25find_equalities_traverserINS_11pbes_system25data_expression_traverserENS3_6detail30find_equalities_traverser_instEE3topEv	1091
_ZN5mcrl24data6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE5leaveERKNS0_15function_symbolE	1188
_ZN5mcrl24data6detail26find_equalities_expressionC2Eb	1222
_ZN5mcrl24data6detail26find_equalities_expression4swapEv	2009
_ZN5mcrl24data6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE13two_below_topEv	2898
_ZN5mcrl24data6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE5leaveERKNS0_8variableE	2901
_ZN5mcrl24data6detail26find_equalities_expressionC2ERKNS0_8variableE	2928
_ZN5mcrl24data15find_equalitiesERKNS0_15data_expressionE	14668
_ZN5mcrl24data6detail26find_equalities_expression5closeEv	14914
_ZN5mcrl24data6detail21equality_set_with_top5closeEv	29828
_ZN5mcrl24data6detail26find_equalities_expression8join_andERKS2_	36086
_ZN5mcrl24data6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE9below_topEv	38926
_ZN5mcrl24data6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE3popEv	41824
_ZN5mcrl24data6detail21equality_set_with_top9intersectERKS2_	42088
_ZN5mcrl24data6detail21equality_set_with_top6union_ERKS2_	47928
_ZN5mcrl24data6detail26find_equalities_expressionC2ERKNS0_8variableERKNS0_15data_expressionEb	51788
_ZN5mcrl24data6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE4pushERKNS1_26find_equalities_expressionE	56493
_ZN5mcrl24data6detail21equality_set_with_topixERKNS0_8variableE	60709
_ZN5mcrl24data6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE7derivedEv	82687
_ZN5mcrl24data6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE5applyERKNS0_11applicationE	93267
_ZN5mcrl24data6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE3topEv	112025

Generated by: LCOV version 1.14