[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