LCOV - code coverage report

Current view: top level - atermpp/include/mcrl2/atermpp - algorithm.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 77 83 92.8 % Date: 2024-04-26 03:18:02 Functions: 59 63 93.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN7atermpp11find_all_ifINS_9term_applINS_5atermEEE4is_fSt20back_insert_iteratorISt6vectorIS2_SaIS2_EEEEEvRKT_T0_T1_	0
_ZN7atermpp11find_all_ifINS_9term_applINS_5atermEEE4is_fSt20back_insert_iteratorISt6vectorIS3_SaIS3_EEEEEvRKT_T0_T1_	2
_ZN7atermpp11find_all_ifINS_9term_applINS_5atermEEEN5mcrl24data6detail13is_a_variableESt15insert_iteratorISt3setINS5_8variableESt4lessISA_ESaISA_EEEEEvRKT_T0_T1_	0
_ZN7atermpp15partial_find_ifINS_9term_applINS_5atermEEE4is_f4is_gEES3_T_T0_T1_	1
_ZN7atermpp15partial_find_ifINS_9term_applINS_5atermEEE4is_f4is_zEES3_T_T0_T1_	1
_ZN7atermpp15partial_replaceINS_5atermE19fg_partial_replacerEET_S3_T0_	1
_ZN7atermpp17bottom_up_replaceINS_5atermE11fg_replacerEET_S3_T0_RSt13unordered_mapINS_9term_applIS1_EES1_St4hashIS7_ESt8equal_toIS7_ESaISt4pairIKS7_S1_EEE	1
_ZN7atermpp17bottom_up_replaceINS_5atermE13index_removerEET_S3_T0_	1
_ZN7atermpp17bottom_up_replaceINS_5atermEPFNS_9term_applIS1_EERKS3_EEET_S8_T0_	20008
_ZN7atermpp17bottom_up_replaceINS_9term_applINS_5atermEEEEET_S4_RKS3_S6_	1
_ZN7atermpp17bottom_up_replaceINS_9term_applINS_5atermEEEZNS_17bottom_up_replaceIS3_EET_S5_RKS3_S7_EUlRKS2_E_EES5_S5_T0_	1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderE11fg_replacerE5applyINS_5atermEEEvRT_RKNS_9term_applIS6_EE	1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderE11fg_replacerEC2ES3_	1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderE13index_removerE5applyINS_5atermEEEvRT_RKNS_9term_applIS6_EE	3
_ZN7atermpp6detail21replace_aterm_builderINS_7builderE13index_removerEC2ES3_	1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderE9replace_fE5applyINS_5atermEEEvRT_RKNS_9term_applIS6_EE	9
_ZN7atermpp6detail21replace_aterm_builderINS_7builderE9replace_fEC2ES3_	2
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_5atermEEET_RKS5_RKS4_S9_EUlS9_E_E5applyIS4_EEvRS5_RKNS_9term_applIS4_EE	0
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_5atermEEET_RKS5_RKS4_S9_EUlS9_E_EC2ESA_	1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_applINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_E5applyIS5_EEvRS7_RKS6_	1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_applINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_E5applyIS6_EEvRS7_RKS6_	3
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_applINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_EC2ESC_	3
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_listINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_E5applyIS5_EEvRS7_RKNS_9term_applIS5_EE	1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_listINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_EC2ESC_	1
_ZN7atermpp6detail26make_replace_aterm_builderINS_7builderE11fg_replacerEENS0_21replace_aterm_builderIT_T0_EES6_	1
_ZN7atermpp6detail26make_replace_aterm_builderINS_7builderE13index_removerEENS0_21replace_aterm_builderIT_T0_EES6_	1
_ZN7atermpp6detail26make_replace_aterm_builderINS_7builderE9replace_fEENS0_21replace_aterm_builderIT_T0_EES6_	2
_ZN7atermpp6detail26make_replace_aterm_builderINS_7builderEZNS_7replaceINS_5atermEEET_RKS5_RKS4_S9_EUlS9_E_EENS0_21replace_aterm_builderIT_T0_EESD_	1
_ZN7atermpp6detail26make_replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_applINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_EENS0_21replace_aterm_builderIT_T0_EESF_	3
_ZN7atermpp6detail26make_replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_listINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_EENS0_21replace_aterm_builderIT_T0_EESF_	1
_ZN7atermpp6detail29partial_replace_aterm_builderINS_7builderE19fg_partial_replacerE5applyINS_5atermEEEvRT_RKNS_9term_applIS6_EE	1
_ZN7atermpp6detail29partial_replace_aterm_builderINS_7builderE19fg_partial_replacerEC2ES3_	1
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderE13index_removerE5applyINS_5atermEEEvRT_RKNS_9term_applIS6_EE	8
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderE13index_removerEC2ES3_	1
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderEPFNS_9term_applINS_5atermEEERKS5_EE5applyIS4_EEvRT_S7_	423452
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderEPFNS_9term_applINS_5atermEEERKS5_EEC2ES9_	20008
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderEZNS_17bottom_up_replaceINS_9term_applINS_5atermEEEEET_S7_RKS6_S9_EUlRKS5_E_E5applyIS5_EEvRS7_S9_	2
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderEZNS_17bottom_up_replaceINS_9term_applINS_5atermEEEEET_S7_RKS6_S9_EUlRKS5_E_E5applyIS6_EEvRS7_S9_	1
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderEZNS_17bottom_up_replaceINS_9term_applINS_5atermEEEEET_S7_RKS6_S9_EUlRKS5_E_EC2ESC_	1
_ZN7atermpp6detail34make_partial_replace_aterm_builderINS_7builderE19fg_partial_replacerEENS0_29partial_replace_aterm_builderIT_T0_EES6_	1
_ZN7atermpp6detail36make_bottom_up_replace_aterm_builderINS_7builderE13index_removerEENS0_31bottom_up_replace_aterm_builderIT_T0_EES6_	1
_ZN7atermpp6detail36make_bottom_up_replace_aterm_builderINS_7builderEPFNS_9term_applINS_5atermEEERKS5_EEENS0_31bottom_up_replace_aterm_builderIT_T0_EESC_	20008
_ZN7atermpp6detail36make_bottom_up_replace_aterm_builderINS_7builderEZNS_17bottom_up_replaceINS_9term_applINS_5atermEEEEET_S7_RKS6_S9_EUlRKS5_E_EENS0_31bottom_up_replace_aterm_builderIT_T0_EESF_	1
_ZN7atermpp6detail38cached_bottom_up_replace_aterm_builderINS_7builderE11fg_replacerE5applyINS_5atermEEEvRT_RKNS_9term_applIS6_EE	6
_ZN7atermpp6detail38cached_bottom_up_replace_aterm_builderINS_7builderE11fg_replacerEC2ES3_RSt13unordered_mapINS_9term_applINS_5atermEEES7_St4hashIS8_ESt8equal_toIS8_ESaISt4pairIKS8_S7_EEE	1
_ZN7atermpp6detail43make_cached_bottom_up_replace_aterm_builderINS_7builderE11fg_replacerEENS0_38cached_bottom_up_replace_aterm_builderIT_T0_EES6_RSt13unordered_mapINS_9term_applINS_5atermEEESA_St4hashISB_ESt8equal_toISB_ESaISt4pairIKSB_SA_EEE	1
_ZN7atermpp7find_ifIN5mcrl24data15data_expressionEZNS2_6detail4Info6occursERKS3_S7_EUlRKNS_9term_applINS_5atermEEEE_EESA_RKT_T0_	315
_ZN7atermpp7find_ifIN5mcrl24data6detail10match_treeENS3_22RewriterCompilingJitty13ImplementTree7matchesEEENS_9term_applINS_5atermEEERKT_T0_	1527
_ZN7atermpp7find_ifINS_9term_applINS_5atermEEE4is_fEES3_RKT_T0_	3
_ZN7atermpp7replaceINS_5atermE11fg_replacerEET_RKS3_T0_	1
_ZN7atermpp7replaceINS_5atermE13index_removerEET_RKS3_T0_	1
_ZN7atermpp7replaceINS_5atermE9replace_fEET_RKS3_T0_	2
_ZN7atermpp7replaceINS_5atermEEET_RKS2_RKS1_S6_	1
_ZN7atermpp7replaceINS_5atermEZNS_7replaceIS1_EET_RKS3_RKS1_S7_EUlS7_E_EES3_S5_T0_	1
_ZN7atermpp7replaceINS_9term_applINS_5atermEEEEET_RKS4_RKS2_S8_	3
_ZN7atermpp7replaceINS_9term_applINS_5atermEEEZNS_7replaceIS3_EET_RKS5_RKS2_S9_EUlS9_E_EES5_S7_T0_	3
_ZN7atermpp7replaceINS_9term_listINS_5atermEEEEET_RKS4_RKS2_S8_	1
_ZN7atermpp7replaceINS_9term_listINS_5atermEEEZNS_7replaceIS3_EET_RKS5_RKS2_S9_EUlS9_E_EES5_S7_T0_	1
_ZN7atermpp8for_eachI13for_each_procNS_9term_applINS_5atermEEEEET_T0_S5_	1
_ZZN7atermpp17bottom_up_replaceINS_9term_applINS_5atermEEEEET_S4_RKS3_S6_ENKUlRKS2_E_clES8_	3
_ZZN7atermpp7replaceINS_5atermEEET_RKS2_RKS1_S6_ENKUlS6_E_clES6_	0
_ZZN7atermpp7replaceINS_9term_applINS_5atermEEEEET_RKS4_RKS2_S8_ENKUlS8_E_clES8_	4
_ZZN7atermpp7replaceINS_9term_listINS_5atermEEEEET_RKS4_RKS2_S8_ENKUlS8_E_clES8_	1

Generated by: LCOV version 1.14