From 79386c4306af62059406e20755d04fdd702d23c8 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Wed, 7 Apr 2021 07:57:12 +0200
Subject: 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 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
-- 
cgit v1.2.3