From cca0d4813e428e84faf0a34def5ae3243c72a526 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Mon, 15 Feb 2021 16:37:52 +0100 Subject: spec: Fix barrier specification --- spec/rtems/barrier/req/delete.yml | 6 +++--- spec/rtems/barrier/req/release.yml | 10 +++++----- 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 -- cgit v1.2.3