diff options
Diffstat (limited to 'spec/rtems/barrier/req/delete.yml')
| -rw-r--r-- | spec/rtems/barrier/req/delete.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/spec/rtems/barrier/req/delete.yml b/spec/rtems/barrier/req/delete.yml index 894882b8..a37d5227 100644 --- a/spec/rtems/barrier/req/delete.yml +++ b/spec/rtems/barrier/req/delete.yml @@ -20,7 +20,7 @@ post-conditions: test-code: | T_rsc( ctx->status, RTEMS_INVALID_ID ); text: | - The return status of ${../if/create:/name} shall be + The return status of ${../if/delete:/name} shall be ${../../status/if/invalid-id:/name}. test-epilogue: null test-prologue: null @@ -66,13 +66,13 @@ pre-conditions: test-code: | ctx->id = ctx->barrier_id; text: | - The ${../if/create:/params[0]/name} parameter shall be associated with + The ${../if/delete:/params[0]/name} parameter shall be associated with the barrier. - name: Invalid test-code: | ctx->id = 0; text: | - The ${../if/create:/params[0]/name} parameter shall be invalid. + The ${../if/delete:/params[0]/name} parameter shall be invalid. test-epilogue: null test-prologue: null rationale: null |