LCOV - code coverage report

Current view: top level - process/include/mcrl2/process - alphabet_pcrl.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 56 0.0 % Date: 2024-05-04 03:44:52 Functions: 0 15 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process13alphabet_pcrlERKNS0_18process_expressionERKSt3mapINS0_18process_identifierESt3setINS0_17multi_action_nameESt4lessIS7_ESaIS7_EES8_IS5_ESaISt4pairIKS5_SB_EEE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverser5leaveERKNS0_10left_mergeE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverser5leaveERKNS0_16process_instanceE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverser5leaveERKNS0_27process_instance_assignmentE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverser5leaveERKNS0_3tauE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverser5leaveERKNS0_4commE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverser5leaveERKNS0_4hideE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverser5leaveERKNS0_4syncE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverser5leaveERKNS0_5allowE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverser5leaveERKNS0_5blockE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverser5leaveERKNS0_5mergeE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverser5leaveERKNS0_6actionE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverser5leaveERKNS0_6renameE	0
_ZN5mcrl27process6detail23alphabet_pcrl_traverserC2ERKSt3mapINS0_18process_identifierESt3setINS0_17multi_action_nameESt4lessIS6_ESaIS6_EES7_IS4_ESaISt4pairIKS4_SA_EEE	0
_ZNK5mcrl27process6detail23alphabet_pcrl_traverser5errorERKNS0_18process_expressionE	0

Generated by: LCOV version 1.14