LCOV - code coverage report

Current view: top level - atermpp/include/mcrl2/atermpp/detail - algorithm_impl.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 43 56 76.8 % Date: 2024-05-04 03:44:52 Functions: 11 13 84.6 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN7atermpp6detail16find_all_if_implIR4is_fSt20back_insert_iteratorISt6vectorINS_5atermESaIS6_EEEEEvRKS6_T_RT0_	0
_ZN7atermpp6detail16find_all_if_implIRN5mcrl24data6detail13is_a_variableESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEvRKNS_5atermET_RT0_	0
_ZN7atermpp6detail13for_each_implIR13for_each_procEET_NS_5atermES4_	1
_ZN7atermpp6detail12find_if_implIR4is_fEEbRKNS_5atermET_RNS_9term_applIS4_EE	3
_ZN7atermpp6detail20partial_find_if_implIR4is_f4is_gEENS_9term_applINS_5atermEEERKS6_T_T0_	3
_ZN7atermpp6detail13for_each_implI13for_each_procEET_NS_5atermES3_	4
_ZN7atermpp6detail20partial_find_if_implIR4is_f4is_zEENS_9term_applINS_5atermEEERKS6_T_T0_	5
_ZN7atermpp6detail12find_if_implI4is_fEEbRKNS_5atermET_RNS_9term_applIS3_EE	15
_ZN7atermpp6detail16find_all_if_implIR4is_fSt20back_insert_iteratorISt6vectorINS_9term_applINS_5atermEEESaIS8_EEEEEvRKS7_T_RT0_	24
_ZN7atermpp6detail12find_if_implIRZN5mcrl24data6detail4Info6occursERKNS3_15data_expressionES8_EUlRKNS_9term_applINS_5atermEEEE_EEbRKSA_T_RSB_	315
_ZN7atermpp6detail12find_if_implIRN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree7matchesEEEbRKNS_5atermET_RNS_9term_applIS9_EE	1527
_ZN7atermpp6detail12find_if_implIZN5mcrl24data6detail4Info6occursERKNS3_15data_expressionES8_EUlRKNS_9term_applINS_5atermEEEE_EEbRKSA_T_RSB_	2454
_ZN7atermpp6detail12find_if_implIN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree7matchesEEEbRKNS_5atermET_RNS_9term_applIS8_EE	43157

Generated by: LCOV version 1.14