diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-12 11:39:39 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-19 15:14:25 +0100 |
| commit | a39bf437db31e037d9e71f10ddb4b70b0db6ece8 (patch) | |
| tree | d915ab025c6d459cf28c2c4d22ccf1befb09959e /spec/rtems/barrier/req/delete.yml | |
| parent | validation: Optimize transition map (diff) | |
| download | rtems-central-a39bf437db31e037d9e71f10ddb4b70b0db6ece8.tar.bz2 | |
spec: Canonicalize directives
Use common wording and the new templates for action requirements.
Diffstat (limited to 'spec/rtems/barrier/req/delete.yml')
| -rw-r--r-- | spec/rtems/barrier/req/delete.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/rtems/barrier/req/delete.yml b/spec/rtems/barrier/req/delete.yml index 9ea47284..f961d8e1 100644 --- a/spec/rtems/barrier/req/delete.yml +++ b/spec/rtems/barrier/req/delete.yml @@ -66,13 +66,13 @@ pre-conditions: test-code: | ctx->id = 0; text: | - The ${../if/delete:/params[0]/name} parameter shall not be associated + While the ${../if/delete:/params[0]/name} parameter is not associated with a barrier. - name: Barrier test-code: | ctx->id = ctx->barrier_id; text: | - The ${../if/delete:/params[0]/name} parameter shall be associated with + While the ${../if/delete:/params[0]/name} parameter is associated with a barrier. test-epilogue: null test-prologue: null |