LCOV - code coverage report

Current view: top level - data/include/mcrl2/data/detail - data_utility.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 42 58 72.4 % Date: 2024-04-26 03:18:02 Functions: 13 13 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data6detail12unique_namesISt3setINS0_8variableESt4lessIS4_ESaIS4_EEEEbRKT_	634
_ZN5mcrl24data6detail20check_variable_sortsISt3setINS0_8variableESt4lessIS4_ESaIS4_EES3_INS0_15sort_expressionES5_IS9_ESaIS9_EEEEbRKT_RKT0_	634
_ZN5mcrl24data6detail11check_sortsIN5boost9iterators18transform_iteratorINS1_18sort_of_expressionINS0_8variableEEEN7atermpp18term_list_iteratorIS7_EENS3_11use_defaultESC_EESt3setINS0_15sort_expressionESt4lessISF_ESaISF_EEEEbT_SK_RKT0_	1148
_ZN5mcrl24data6detail11check_sortsIN5boost9iterators18transform_iteratorINS1_18sort_of_expressionINS0_8variableEEESt23_Rb_tree_const_iteratorIS7_ENS3_11use_defaultESB_EESt3setINS0_15sort_expressionESt4lessISE_ESaISE_EEEEbT_SJ_RKT0_	1436
_ZN5mcrl24data6detail20check_variable_namesERKN7atermpp9term_listINS0_8variableEEERKSt3setINS2_12aterm_stringESt4lessIS9_ESaIS9_EE	1499
_ZN5mcrl24data6detail26check_assignment_variablesERKN7atermpp9term_listINS0_10assignmentEEERKNS3_INS0_8variableEEE	1499
_ZN5mcrl24data6detail21check_data_spec_sortsISt6vectorINS0_15function_symbolESaIS4_EESt3setINS0_15sort_expressionESt4lessIS8_ESaIS8_EEEEbRKT_RKT0_	1988
_ZN5mcrl24data6detail20check_variable_sortsIN7atermpp9term_listINS0_8variableEEESt3setINS0_15sort_expressionESt4lessIS8_ESaIS8_EEEEbRKT_RKT0_	2132
_ZN5mcrl24data6detail12unique_namesIN7atermpp9term_listINS0_8variableEEEEEbRKT_	3285
_ZN5mcrl24data6detail15parameter_sortsISt6vectorINS0_15data_expressionESaIS4_EEEEN7atermpp9term_listINS0_15sort_expressionEEERKT_	5213
_ZN5mcrl24data6detail15parameter_sortsIN7atermpp9term_listINS0_8variableEEEEENS4_INS0_15sort_expressionEEERKT_	5754
_ZN5mcrl24data6detail10check_sortISt3setINS0_15sort_expressionESt4lessIS4_ESaIS4_EEEEbRKS4_RKT_	179119
_ZZN5mcrl24data6detail10check_sortISt3setINS0_15sort_expressionESt4lessIS4_ESaIS4_EEEEbRKS4_RKT_ENKUlSA_E_clESA_	514464

Generated by: LCOV version 1.14