diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-01 08:53:44 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-01 08:53:44 +0100 |
commit | d332f8ea424e715f083aaf659860416209d5c7ee (patch) | |
tree | a2288948a4fa3ccbdc5d46a6e657812776a86065 | |
parent | spec: Improve event send/receive (diff) | |
download | rtems-central-d332f8ea424e715f083aaf659860416209d5c7ee.tar.bz2 |
spec: Fix barrier release text
-rw-r--r-- | spec/rtems/barrier/req/release.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/rtems/barrier/req/release.yml b/spec/rtems/barrier/req/release.yml index 0773e764..bb0736db 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: |