[rtems-central commit] spec: Fix rtems_semaphore_release() error

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    79386c4306af62059406e20755d04fdd702d23c8
Changeset: http://git.rtems.org/rtems-central/commit/?id=79386c4306af62059406e20755d04fdd702d23c8

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Wed Apr  7 07:57:12 2021 +0200

spec: Fix rtems_semaphore_release() error

---

 spec/rtems/sem/if/release.yml  | 2 +-
 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 f53cfc1..a4bad9b 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 b279e83..cb4b0be 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