diff options
Diffstat (limited to 'spec/rtems/sem/req/release.yml')
-rw-r--r-- | spec/rtems/sem/req/release.yml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |