[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