LCOV - code coverage report

Current view: top level - process/include/mcrl2/process - action_label.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 22 24 91.7 % Date: 2024-05-01 03:37:31 Functions: 11 13 84.6 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process17make_action_labelIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS5_6detail24normalize_sorts_functionEEEE5applyINS0_12action_labelEEEvRT_RKSG_EUlRNS2_9term_listINS5_15sort_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl27processlsERSoRKNS0_12action_labelE	0
_ZN5mcrl27process12action_labelC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN7atermpp9term_listINS_4data15sort_expressionEEE	75
_ZN5mcrl27process17make_action_labelIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS_3lps23sort_expression_builderENS5_6detail24normalize_sorts_functionEEEE5applyINS0_12action_labelEEEvRT_RKSG_EUlRNS2_9term_listINS5_15sort_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	154
_ZN5mcrl27process17make_action_labelIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_12action_labelEEEvRT_RKSB_EUlRNS2_9term_listINS5_15sort_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	190
_ZN5mcrl27process17make_action_labelIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS5_6detail24normalize_sorts_functionEEEE5applyINS0_12action_labelEEEvRT_RKSF_EUlRNS2_9term_listINS5_15sort_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	2568
_ZN5mcrl27process12action_labelC2ERKS1_	6266
_ZN5mcrl27process12action_labelC2EOS1_	8872
_ZN5mcrl27process12action_labelC2Ev	13590
_ZN5mcrl27process12action_labelC2ERKN7atermpp12aterm_stringERKNS2_9term_listINS_4data15sort_expressionEEE	14613
_ZNK5mcrl27process12action_label5sortsEv	58170
_ZNK5mcrl27process12action_label4nameEv	430008
_ZN5mcrl27process12action_labelC2ERKN7atermpp5atermE	448473

Generated by: LCOV version 1.14