diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-04-07 16:21:53 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-04-07 16:22:29 +0200 |
| commit | df5dcd6a25982f1cecfe98e354a6cfb5c08f0180 (patch) | |
| tree | 74f59c8ae253926aeaef487d61b0bf847118ba0c | |
| parent | modules: Update rtems (diff) | |
| download | rtems-central-df5dcd6a25982f1cecfe98e354a6cfb5c08f0180.tar.bz2 | |
spec: Wording in /rtems/sem/req/release
| -rw-r--r-- | spec/rtems/sem/req/release.yml | 8 |
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 |