diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-15 16:37:52 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-17 18:30:06 +0100 |
| commit | cca0d4813e428e84faf0a34def5ae3243c72a526 (patch) | |
| tree | 4ca470c465d5162c4f6063efa065ee13942c01a2 /spec/rtems/barrier/req/release.yml | |
| parent | spec: Add constraints to create/delete (diff) | |
| download | rtems-central-cca0d4813e428e84faf0a34def5ae3243c72a526.tar.bz2 | |
spec: Fix barrier specification
Diffstat (limited to 'spec/rtems/barrier/req/release.yml')
| -rw-r--r-- | spec/rtems/barrier/req/release.yml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/spec/rtems/barrier/req/release.yml b/spec/rtems/barrier/req/release.yml index aa85fe22..0773e764 100644 --- a/spec/rtems/barrier/req/release.yml +++ b/spec/rtems/barrier/req/release.yml @@ -52,18 +52,18 @@ pre-conditions: test-code: | ctx->id = 0xffffffff; text: | - The ${../if/create:/params[0]/name} parameter shall be invalid. + The ${../if/release:/params[0]/name} parameter shall be invalid. - name: Manual test-code: | ctx->id = ctx->manual_release_id; text: | - The ${../if/create:/params[0]/name} parameter shall be associated with a + The ${../if/release:/params[0]/name} parameter shall be associated with a manual release barrier. - name: Auto test-code: | ctx->id = ctx->auto_release_id; text: | - The ${../if/create:/params[0]/name} parameter shall be associated with an + The ${../if/release:/params[0]/name} parameter shall be associated with an automatic release barrier. test-epilogue: null test-prologue: null @@ -73,12 +73,12 @@ pre-conditions: test-code: | ctx->released = &ctx->released_value; text: | - The ${../if/create:/params[1]/name} parameter shall reference an integer variable. + The ${../if/release:/params[1]/name} parameter shall reference an integer variable. - name: 'Null' test-code: | ctx->released = NULL; text: | - The ${../if/create:/params[1]/name} parameter shall be + The ${../if/release:/params[1]/name} parameter shall be ${/c/if/null:/name}. test-epilogue: null test-prologue: | |