LCOV - code coverage report

Current view: top level - process/include/mcrl2/process/detail - alphabet_push_allow.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 123 358 34.4 % Date: 2024-04-19 03:43:27 Functions: 19 54 35.2 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process6detail15push_allow_nodeC2Ev	0
_ZN5mcrl27process6detail16push_allow_cache14set_unfinishedERKNS0_9allow_setERKNS0_16process_instanceE	0
_ZN5mcrl27process6detail16push_allow_cache16unfinished_valueC2ERKNS0_9allow_setERKNS0_16process_instanceE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E10log_renameB5cxx11ERKNS0_6renameERKNS0_9allow_setE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E14log_left_mergeB5cxx11ERKNS0_10left_mergeERKNS0_9allow_setESC_SC_	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E15apply_pcrl_nodeERKNS0_18process_expressionE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5applyERKNS0_10left_mergeE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5applyERKNS0_4commE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5applyERKNS0_4hideE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5applyERKNS0_4syncE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5applyERKNS0_5allowE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5applyERKNS0_5blockE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5applyERKNS0_6renameE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5leaveERKNS0_12bounded_initE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5leaveERKNS0_12if_then_elseE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5leaveERKNS0_27process_instance_assignmentE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5leaveERKNS0_2atE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5leaveERKNS0_3seqE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5leaveERKNS0_3sumE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5leaveERKNS0_3tauE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5leaveERKNS0_5deltaE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5leaveERKNS0_6choiceE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5leaveERKNS0_7if_thenE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E7derivedEv	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E8log_commB5cxx11ERKNS0_4commERKNS0_9allow_setESC_	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E8log_hideB5cxx11ERKNS0_4hideERKNS0_9allow_setE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E8log_syncB5cxx11ERKNS0_4syncERKNS0_9allow_setESC_SC_	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E9log_allowB5cxx11ERKNS0_5allowERKNS0_9allow_setE	0
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E9log_blockB5cxx11ERKNS0_5blockERKNS0_9allow_setE	0
_ZN5mcrl27process6detail21print_alphabet_statusENS1_16push_allow_cache15alphabet_statusE	0
_ZN5mcrl27process6detaillsERSoRKNS1_16push_allow_cache12alphabet_keyE	0
_ZN5mcrl27process6detaillsERSoRKNS1_16push_allow_cache14alphabet_valueE	0
_ZN5mcrl27process6detaillsERSoRKNS1_16push_allow_cache16unfinished_valueE	0
_ZNK5mcrl27process6detail16push_allow_cache12alphabet_keyltERKS3_	0
_ZNK5mcrl27process6detail16push_allow_cache16unfinished_valueltERKS3_	0
_ZN5mcrl27process6detail16push_allow_cache14alphabet_valueC2ERKSt3setINS0_17multi_action_nameESt4lessIS5_ESaIS5_EENS2_15alphabet_statusERKNS0_18process_identifierE	1
_ZN5mcrl27process6detail16push_allow_cache8alphabetERKNS0_9allow_setERKNS0_18process_identifierE	1
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5applyERKNS0_5mergeE	1
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5leaveERKNS0_16process_instanceE	1
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E9log_mergeB5cxx11ERKNS0_5mergeERKNS0_9allow_setESC_SC_	1
_ZN5mcrl27process6detail15construct_allowERKSt3setINS0_17multi_action_nameESt4lessIS3_ESaIS3_EERKNS0_18process_expressionEb	2
_ZN5mcrl27process6detail15push_allow_node11apply_allowERKNS0_9allow_setEb	2
_ZN5mcrl27process6detail16push_allow_cache12alphabet_keyC2ERKNS0_9allow_setERKNS0_18process_identifierE	2
_ZN5mcrl27process6detail16push_allow_cacheC2ERNS_4data24set_identifier_generatorERSt3mapINS0_18process_identifierESt3setINS0_17multi_action_nameESt4lessIS9_ESaIS9_EESA_IS7_ESaISt4pairIKS7_SD_EEE	2
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E5leaveERKNS0_6actionE	2
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E15log_push_resultERKNS0_18process_expressionERKNS0_9allow_setERKNS1_16push_allow_cacheERKS4_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESP_	3
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E3logERKNS0_18process_expressionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	3
_ZN5mcrl27process6detaillsERSoRKNS1_16push_allow_cacheE	3
_ZN5mcrl27process6detail10push_allowERKNS0_18process_expressionERKNS0_9allow_setERSt6vectorINS0_16process_equationESaIS9_EERNS1_16push_allow_cacheEb	4
_ZN5mcrl27process6detail15push_allow_nodeC2ERKSt3setINS0_17multi_action_nameESt4lessIS4_ESaIS4_EERKNS0_18process_expressionE	4
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E3topEv	4
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_E4pushERKS4_	4
_ZN5mcrl27process6detail20push_allow_traverserINS1_26apply_push_allow_traverserIS2_NS1_15push_allow_nodeEEES4_EC2ERSt6vectorINS0_16process_equationESaIS8_EERNS1_16push_allow_cacheERKNS0_9allow_setE	4
_ZN5mcrl27process6detail26apply_push_allow_traverserINS1_20push_allow_traverserENS1_15push_allow_nodeEEC2ERSt6vectorINS0_16process_equationESaIS7_EERNS1_16push_allow_cacheERKNS0_9allow_setE	4

Generated by: LCOV version 1.14