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 | |
| parent | spec: Add constraints to create/delete (diff) | |
| download | rtems-central-cca0d4813e428e84faf0a34def5ae3243c72a526.tar.bz2 | |
spec: Fix barrier specification
| -rw-r--r-- | spec/rtems/barrier/req/delete.yml | 6 | ||||
| -rw-r--r-- | spec/rtems/barrier/req/release.yml | 10 | ||||
| -rw-r--r-- | spec/rtems/barrier/req/wait.yml | 10 |
3 files changed, 13 insertions, 13 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 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: | diff --git a/spec/rtems/barrier/req/wait.yml b/spec/rtems/barrier/req/wait.yml index 7aadc735..0278994c 100644 --- a/spec/rtems/barrier/req/wait.yml +++ b/spec/rtems/barrier/req/wait.yml @@ -47,18 +47,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 @@ -68,13 +68,13 @@ pre-conditions: test-code: | ctx->timeout = 2; text: | - The ${../if/create:/params[1]/name} parameter shall be a clock tick + The ${../if/release:/params[1]/name} parameter shall be a clock tick interval. - name: Forever test-code: | ctx->timeout = RTEMS_NO_TIMEOUT; text: | - The ${../if/create:/params[1]/name} parameter shall be + The ${../if/release:/params[1]/name} parameter shall be ${../../type/if/no-timeout:/name}. test-epilogue: null test-prologue: null |