diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-04-07 07:57:12 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-04-07 08:42:42 +0200 |
commit | 79386c4306af62059406e20755d04fdd702d23c8 (patch) | |
tree | bd53eb561322f0b4abe2bc219e9ba16f6c0e2957 | |
parent | spec: Fix warning (diff) | |
download | rtems-central-79386c4306af62059406e20755d04fdd702d23c8.tar.bz2 |
spec: Fix rtems_semaphore_release() error
-rw-r--r-- | spec/rtems/sem/if/release.yml | 2 | ||||
-rw-r--r-- | spec/rtems/sem/req/release.yml | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/spec/rtems/sem/if/release.yml b/spec/rtems/sem/if/release.yml index f53cfc17..a4bad9b4 100644 --- a/spec/rtems/sem/if/release.yml +++ b/spec/rtems/sem/if/release.yml @@ -82,5 +82,5 @@ return: - description: | The semaphore's count already had the maximum value of ${/c/if/uint32_max:/name}. - value: ${../../status/if/internal-error:/name} + value: ${../../status/if/unsatisfied:/name} type: interface diff --git a/spec/rtems/sem/req/release.yml b/spec/rtems/sem/req/release.yml index b279e838..cb4b0bea 100644 --- a/spec/rtems/sem/req/release.yml +++ b/spec/rtems/sem/req/release.yml @@ -29,10 +29,10 @@ post-conditions: ${../../status/if/not-owner-of-resource:/name}. - name: IntErr test-code: | - T_rsc( ctx->status, RTEMS_INTERNAL_ERROR ); + T_rsc( ctx->status, RTEMS_UNSATISFIED ); text: | The return status of ${../if/release:/name} shall be - ${../../status/if/internal-error:/name}. + ${../../status/if/unsatisfied:/name}. test-epilogue: null test-prologue: null - name: Count |