__getpgid_spec() coverage
specification ProcessId __getpgid_spec( CallContext context, ProcessId pid, ErrorCode *errno )
coverages
branches
failures
hits/fails
C
Request by zero for process group ID of the calling process
1
Request by pid for process group ID of the calling process
1
Request for process group ID of the process from the same session
1
Request for process group ID for a process
failure 227: Requirement failed: {__getpgid.04.01} Function executed successfully with EOK error code, while `checkResult == true` means that EPERM SHALL be set
1/
1
100% (4/4)
4/
1