[rtems-central commit] spec: Fix barrier specification
Sebastian Huber
sebh at rtems.org
Wed Feb 17 17:48:06 UTC 2021
Module: rtems-central
Branch: master
Commit: cca0d4813e428e84faf0a34def5ae3243c72a526
Changeset: http://git.rtems.org/rtems-central/commit/?id=cca0d4813e428e84faf0a34def5ae3243c72a526
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Mon Feb 15 16:37:52 2021 +0100
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 894882b..a37d522 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 aa85fe2..0773e76 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 7aadc73..0278994 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
More information about the vc
mailing list