LCOV - code coverage report
Current view: top level - data/include/mcrl2/data - container_sort.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 14 16 87.5 %
Date: 2024-05-04 03:44:52 Functions: 8 10 80.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24data19make_container_sortIJNS0_14container_typeEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS0_15sort_expressionEEEvRT_RKNS0_14container_sortEEUlRSB_E_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_ 0
_ZN5mcrl24datalsERSoRKNS0_14container_sortE 0
_ZN5mcrl24data19make_container_sortIJNS0_14container_typeEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_15data_expressionEEET_RKSB_RKNS0_15sort_expressionEEUlSG_E_EEE5applyISE_EEvRSB_RKNS0_14container_sortEEUlRSE_E_EEEvRN7atermpp9term_applINSR_5atermEEEDpRKT_ 3
_ZN5mcrl24data19make_container_sortIJNS0_14container_typeEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system18absinthe_algorithm32absinthe_sort_expression_builderEE5applyINS0_15sort_expressionEEEvRT_RKNS0_14container_sortEEUlRSB_E_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_ 10
_ZN5mcrl24data19make_container_sortIJNS0_14container_typeEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderENS0_26sort_expression_assignmentEEEE5applyINS0_15sort_expressionEEEvRT_RKNS0_14container_sortEEUlRSD_E_EEEvRN7atermpp9term_applINSL_5atermEEEDpRKT_ 330
_ZN5mcrl24data19make_container_sortIJNS0_14container_typeEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_13function_sortEEET_RKSB_RKNS0_15sort_expressionEEUlSG_E_EEE5applyISE_EEvRSB_RKNS0_14container_sortEEUlRSE_E_EEEvRN7atermpp9term_applINSR_5atermEEEDpRKT_ 405
_ZNK5mcrl24data14container_sort14container_nameEv 1485272
_ZNK5mcrl24data14container_sort12element_sortEv 1793179
_ZN5mcrl24data14container_sortC2ERKNS0_14container_typeERKNS0_15sort_expressionE 2473610
_ZN5mcrl24data14container_sortC2ERKN7atermpp5atermE 3258019

Generated by: LCOV version 1.14