LCOV - code coverage report

Current view: top level - process/test - alphabet_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 211 217 97.2 % Date: 2024-04-13 03:38:08 Functions: 47 47 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_Z15test_push_allowRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_S6_	1
_Z19test_hide_operationIZN20test_hide_operations11test_methodEvEUlRKN7atermpp9term_listINS1_12aterm_stringEEERKSt3setIN5mcrl27process17multi_action_nameESt4lessISA_ESaISA_EEbE_EvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESP_SP_T_SP_	1
_ZL18test_parse_invokerv	1
_ZL18test_print_invokerv	1
_ZL19test_allow1_invokerv	1
_ZL19test_block1_invokerv	1
_ZL21test_includes_invokerv	1
_ZL22test_alphabet1_invokerv	1
_ZL24test_push_allow1_invokerv	1
_ZL25test_alphabet_new_invokerv	1
_ZL28test_alphabet_reduce_invokerv	1
_ZL28test_comm_operations_invokerv	1
_ZL28test_hide_operations_invokerv	1
_ZL30test_alphabet_parallel_invokerv	1
_ZL30test_rename_operations_invokerv	1
_ZL32test_alphabet_operations_invokerv	1
_ZN10test_parse11test_methodEv	1
_ZN10test_print11test_methodEv	1
_ZN11test_allow111test_methodEv	1
_ZN11test_block111test_methodEv	1
_ZN13test_includes11test_methodEv	1
_ZN14test_alphabet111test_methodEv	1
_ZN16test_push_allow111test_methodEv	1
_ZN17test_alphabet_new11test_methodEv	1
_ZN20test_alphabet_reduce11test_methodEv	1
_ZN20test_comm_operations11test_methodEv	1
_ZN20test_hide_operations11test_methodEv	1
_ZN22test_alphabet_parallel11test_methodEv	1
_ZN22test_rename_operations11test_methodEv	1
_ZN24test_alphabet_operations11test_methodEv	1
_ZN8LogDebugC2Ev	1
_ZZN20test_hide_operations11test_methodEvENKUlRKN7atermpp9term_listINS0_12aterm_stringEEERKSt3setIN5mcrl27process17multi_action_nameESt4lessIS9_ESaIS9_EEbE_clES5_SF_b	1
_Z10test_allowRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_S6_	2
_Z10test_blockRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_S6_	2
_Z19test_comm_operationIPFSt3setIN5mcrl27process17multi_action_nameESt4lessIS3_ESaIS3_EERKN7atermpp9term_listINS2_24communication_expressionEEERKS7_bEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESP_SP_T_SP_	2
_Z19test_comm_operationIZN20test_comm_operations11test_methodEvEUlRKN7atermpp9term_listIN5mcrl27process24communication_expressionEEERKSt3setINS4_17multi_action_nameESt4lessISA_ESaISA_EEbE_EvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESP_SP_T_SP_	2
_Z21test_rename_operationIPFSt3setIN5mcrl27process17multi_action_nameESt4lessIS3_ESaIS3_EERKN7atermpp9term_listINS2_17rename_expressionEEERKS7_bEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESP_SP_T_SP_	2
_ZZN20test_comm_operations11test_methodEvENKUlRKN7atermpp9term_listIN5mcrl27process24communication_expressionEEERKSt3setINS3_17multi_action_nameESt4lessIS9_ESaIS9_EEbE_clES7_SF_b	2
_Z21test_rename_operationIZN22test_rename_operations11test_methodEvEUlRKN7atermpp9term_listIN5mcrl27process17rename_expressionEEERKSt3setINS4_17multi_action_nameESt4lessISA_ESaISA_EEbE_EvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESP_SP_T_SP_	6
_ZZN22test_rename_operations11test_methodEvENKUlRKN7atermpp9term_listIN5mcrl27process17rename_expressionEEERKSt3setINS3_17multi_action_nameESt4lessIS9_ESaIS9_EEbE_clES7_SF_b	6
_Z13test_alphabetRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_	7
_Z23test_alphabet_operationIPFSt3setIN5mcrl27process17multi_action_nameESt4lessIS3_ESaIS3_EERKS7_S9_EEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESJ_SJ_T_SJ_	7
_Z5printB5cxx11RKN5mcrl27process9allow_setE	12
_Z22make_multi_action_nameRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	19
_Z12check_resultRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_S6_	44
_Z5printB5cxx11RKSt3setIN5mcrl27process17multi_action_nameESt4lessIS2_ESaIS2_EEb	47
_Z5printB5cxx11RKN5mcrl27process17multi_action_nameE	115

Generated by: LCOV version 1.14