diff options
-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 |