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 147: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 148: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 149: 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 151: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 153: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 155: 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 150: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 152: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 154: 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 147: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 148: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 149: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 150: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 151: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 152: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 153: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 154: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 155: 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