LCOV - code coverage report

Current view: top level - data/include/mcrl2/data/detail - sequence_algorithm.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 8 16 50.0 % Date: 2024-05-01 03:37:31 Functions: 6 8 75.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data6detail20sequences_do_overlapIN5boost9iterators18transform_iteratorINS1_13variable_nameEN7atermpp18term_list_iteratorINS0_8variableEEENS3_11use_defaultESB_EENS5_IS6_St23_Rb_tree_const_iteratorIS9_ESB_SB_EEEEbT_SG_T0_SH_	0
_ZN5mcrl24data6detail28sequence_contains_duplicatesIN5boost9iterators18transform_iteratorINS1_13variable_nameEN7atermpp18term_list_iteratorINS0_8variableEEENS3_11use_defaultESB_EEEEbT_SD_	0
_ZN5mcrl24data6detail28sequence_contains_duplicatesIN5boost9iterators18transform_iteratorIZNS_11pres_system6detail18is_well_typed_presERKSt3setINS0_15sort_expressionESt4lessIS9_ESaIS9_EERKS8_INS0_8variableESA_ISG_ESaISG_EESL_RKS8_INS_11pbes_system22propositional_variableESA_ISN_ESaISN_EERKS8_INS6_36propositional_variable_instantiationESA_IST_ESaIST_EERKST_RKNS0_18data_specificationEEUlRKSN_E_St23_Rb_tree_const_iteratorISN_ENS3_11use_defaultES19_EEEEbT_S1B_	4
_ZN5mcrl24data6detail28sequence_contains_duplicatesIN5boost9iterators18transform_iteratorIZNS_11pbes_system6detail18is_well_typed_pbesERKSt3setINS0_15sort_expressionESt4lessIS9_ESaIS9_EERKS8_INS0_8variableESA_ISG_ESaISG_EESL_RKS8_INS6_22propositional_variableESA_ISM_ESaISM_EERKS8_INS6_36propositional_variable_instantiationESA_ISS_ESaISS_EERKSS_RKNS0_18data_specificationEEUlRKSM_E_St23_Rb_tree_const_iteratorISM_ENS3_11use_defaultES18_EEEEbT_S1A_	284
_ZN5mcrl24data6detail28sequence_contains_duplicatesIN5boost9iterators18transform_iteratorINS1_13variable_nameESt23_Rb_tree_const_iteratorINS0_8variableEENS3_11use_defaultESA_EEEEbT_SC_	288
_ZN5mcrl24data6detail8make_setIN7atermpp9term_listINS_7process12action_labelEEEEESt3setINT_10value_typeESt4lessISA_ESaISA_EERKS9_	634
_ZN5mcrl24data6detail8make_setISt3setINS0_15sort_expressionESt4lessIS4_ESaIS4_EEEES3_INT_10value_typeES5_ISA_ESaISA_EERKS9_	922
_ZN5mcrl24data6detail28sequence_contains_duplicatesIN5boost9iterators18transform_iteratorIZNKS_3lps6detail22lps_well_typed_checker17check_assignmentsERKN7atermpp9term_listINS0_10assignmentEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEUlRKSB_E_NS9_18term_list_iteratorISB_EENS3_11use_defaultESS_EEEEbT_SU_	1499

Generated by: LCOV version 1.14