[rtems-central commit] spec: Fix barrier release text

Sebastian Huber sebh at rtems.org
Mon Mar 1 09:01:33 UTC 2021


Module:    rtems-central
Branch:    master
Commit:    d332f8ea424e715f083aaf659860416209d5c7ee
Changeset: http://git.rtems.org/rtems-central/commit/?id=d332f8ea424e715f083aaf659860416209d5c7ee

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Mon Mar  1 08:53:44 2021 +0100

spec: Fix barrier release text

---

 spec/rtems/barrier/req/release.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec/rtems/barrier/req/release.yml b/spec/rtems/barrier/req/release.yml
index 0773e76..bb0736d 100644
--- a/spec/rtems/barrier/req/release.yml
+++ b/spec/rtems/barrier/req/release.yml
@@ -36,13 +36,13 @@ post-conditions:
       T_eq_u32( ctx->released_value, ctx->waiting_tasks );
     text: |
       The value of the variable for the number of released tasks shall equal
-      the number of tasks released by the ${../if/release} call.
+      the number of tasks released by the ${../if/release:/name} call.
   - name: Unchanged
     test-code: |
       T_eq_u32( ctx->released_value, RELEASED_INVALID_VALUE );
     text: |
       The value of variable for the number of released tasks shall be unchanged
-      by the ${../if/release} call.
+      by the ${../if/release:/name} call.
   test-epilogue: null
   test-prologue: null
 pre-conditions:



More information about the vc mailing list