[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