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 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
18/
3
Process with low priority
failure 191: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 193: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 195: 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 190: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 192: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 194: 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 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
failure 190: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 191: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 192: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 193: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 194: Requirement failed: {stime.03.02} Function returned EFAULT while EINVAL was expected by condition C_T == C_T.TIsNull
failure 195: 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