LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - untyped_possible_sorts.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 9 15 60.0 % Date: 2024-05-01 03:37:31 Functions: 3 9 33.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data22untyped_possible_sortsC2ISt3setINS0_15sort_expressionESt4lessIS4_ESaIS4_EEEERKT_PN7atermpp19enable_if_containerIS9_S4_E4typeE	0
_ZN5mcrl24data27make_untyped_possible_sortsIJZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderENS0_26sort_expression_assignmentEEEE5applyINS0_15sort_expressionEEEvRT_RKNS0_22untyped_possible_sortsEEUlRN7atermpp9term_listISC_EEE_EEEvRNSI_9term_applINSI_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_possible_sortsIJZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_13function_sortEEET_RKSA_RKNS0_15sort_expressionEEUlSF_E_EEE5applyISD_EEvRSA_RKNS0_22untyped_possible_sortsEEUlRN7atermpp9term_listISD_EEE_EEEvRNSO_9term_applINSO_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_possible_sortsIJZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_15data_expressionEEET_RKSA_RKNS0_15sort_expressionEEUlSF_E_EEE5applyISD_EEvRSA_RKNS0_22untyped_possible_sortsEEUlRN7atermpp9term_listISD_EEE_EEEvRNSO_9term_applINSO_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_possible_sortsIJZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system18absinthe_algorithm32absinthe_sort_expression_builderEE5applyINS0_15sort_expressionEEEvRT_RKNS0_22untyped_possible_sortsEEUlRN7atermpp9term_listISA_EEE_EEEvRNSG_9term_applINSG_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_possible_sortsIJZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS0_15sort_expressionEEEvRT_RKNS0_22untyped_possible_sortsEEUlRN7atermpp9term_listISA_EEE_EEEvRNSG_9term_applINSG_5atermEEEDpRKT_	0
_ZN5mcrl24data22untyped_possible_sortsC2ERKN7atermpp9term_listINS0_15sort_expressionEEE	3618
_ZN5mcrl24data22untyped_possible_sortsC2ERKN7atermpp5atermE	14329
_ZNK5mcrl24data22untyped_possible_sorts5sortsEv	76275

Generated by: LCOV version 1.14