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 181: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 182: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 183: 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 185: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 187: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 189: 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 184: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 186: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 188: 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 181: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 182: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 183: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 184: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 185: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 186: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 187: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 188: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 189: 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