[rtems-central commit] spec: Fix status specification

Sebastian Huber sebh at rtems.org
Mon Jul 26 13:21:25 UTC 2021


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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Mon Jul 26 14:15:43 2021 +0200

spec: Fix status specification

---

 spec/rtems/status/req/is-equal.yml      | 7 +++----
 spec/rtems/status/req/is-successful.yml | 6 +++---
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/spec/rtems/status/req/is-equal.yml b/spec/rtems/status/req/is-equal.yml
index 264366d..5f091da 100644
--- a/spec/rtems/status/req/is-equal.yml
+++ b/spec/rtems/status/req/is-equal.yml
@@ -13,14 +13,13 @@ post-conditions:
     test-code: |
       T_true( ctx->result );
     text: |
-      The return value of ${../if/is-equal:/name} shall be
-      ${../../status/if/successful:/name}.
+      The return value of ${../if/is-equal:/name} shall be ${/c/if/true:/name}.
   - name: 'False'
     test-code: |
       T_false( ctx->result );
     text: |
-      The return status of ${../if/is-equal:/name} shall be
-      ${../../status/if/invalid-address:/name}.
+      The return value of ${../if/is-equal:/name} shall be
+      ${/c/if/false:/name}.
   test-epilogue: null
   test-prologue: null
 pre-conditions:
diff --git a/spec/rtems/status/req/is-successful.yml b/spec/rtems/status/req/is-successful.yml
index 7a00c7b..2911a1a 100644
--- a/spec/rtems/status/req/is-successful.yml
+++ b/spec/rtems/status/req/is-successful.yml
@@ -14,13 +14,13 @@ post-conditions:
       T_true( ctx->result );
     text: |
       The return value of ${../if/is-successful:/name} shall be
-      ${../../status/if/successful:/name}.
+      ${/c/if/true:/name}.
   - name: 'False'
     test-code: |
       T_false( ctx->result );
     text: |
-      The return status of ${../if/is-successful:/name} shall be
-      ${../../status/if/invalid-address:/name}.
+      The return value of ${../if/is-successful:/name} shall be
+      ${/c/if/false:/name}.
   test-epilogue: null
   test-prologue: null
 pre-conditions:



More information about the vc mailing list