stime_spec() coverage
specification IntT stime_spec( CallContext context, TimeTObj *t, ErrorCode *errno )
coverages
branches
failures
hits/fails
C_Priority
Process with high priority
failure 272: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 273: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 274: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
18/
3
Process with low priority
failure 276: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 278: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 280: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
18/
3
Process with unknown priority
failure 275: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 277: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 279: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
18/
3
100% (3/3)
54/
9
C_T
t is null
failure 272: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 273: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 274: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 275: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 276: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 277: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 278: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 279: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 280: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
9/
9
t is not null
45
100% (2/2)
54/
9