summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-04-07 16:21:53 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-04-07 16:22:29 +0200
commitdf5dcd6a25982f1cecfe98e354a6cfb5c08f0180 (patch)
tree74f59c8ae253926aeaef487d61b0bf847118ba0c
parent87b13198d5420a9e011fe80631f6a61f41684074 (diff)
downloadrtems-central-df5dcd6a25982f1cecfe98e354a6cfb5c08f0180.tar.bz2
spec: Wording in /rtems/sem/req/release
-rw-r--r--spec/rtems/sem/req/release.yml8
1 files changed, 4 insertions, 4 deletions
diff --git a/spec/rtems/sem/req/release.yml b/spec/rtems/sem/req/release.yml
index db8d3db5..d877b6be 100644
--- a/spec/rtems/sem/req/release.yml
+++ b/spec/rtems/sem/req/release.yml
@@ -27,7 +27,7 @@ post-conditions:
text: |
The return status of ${../if/release:/name} shall be
${../../status/if/not-owner-of-resource:/name}.
- - name: IntErr
+ - name: Unsat
test-code: |
T_rsc( ctx->status, RTEMS_UNSATISFIED );
text: |
@@ -243,7 +243,7 @@ pre-conditions:
ctx->count = UINT32_MAX - 1;
}
text: |
- While the semaphore has a count less the maximum count.
+ While the count of the semaphore is less than the maximum count.
- name: Max
test-code: |
if ( ( ctx->attribute_set & RTEMS_SIMPLE_BINARY_SEMAPHORE ) != 0 ) {
@@ -252,7 +252,7 @@ pre-conditions:
ctx->count = UINT32_MAX;
}
text: |
- While the semaphore has a count equal to the maximum count.
+ While the count of the semaphore is equal to the maximum count.
- name: Blocked
test-code: |
ctx->blocked = true;
@@ -1161,7 +1161,7 @@ transition-map:
- BlockedNested
- enabled-by: true
post-conditions:
- Status: IntErr
+ Status: Unsat
Count: Max
Owner: N/A
Next: N/A