[rtems-central commit] spec: Fix references

Sebastian Huber sebh at rtems.org
Mon Feb 8 10:58:43 UTC 2021


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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Mon Feb  8 11:58:17 2021 +0100

spec: Fix references

---

 spec/rtems/barrier/req/create.yml  | 2 +-
 spec/rtems/barrier/req/delete.yml  | 2 +-
 spec/rtems/barrier/req/release.yml | 2 +-
 spec/rtems/barrier/req/wait.yml    | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/spec/rtems/barrier/req/create.yml b/spec/rtems/barrier/req/create.yml
index 7327304..3789305 100644
--- a/spec/rtems/barrier/req/create.yml
+++ b/spec/rtems/barrier/req/create.yml
@@ -14,7 +14,7 @@ post-conditions:
       T_rsc_success( ctx->status );
     text: |
       The return status of ${../if/create:/name} shall be
-      ${../../status/if/success:/name}.
+      ${../../status/if/successful:/name}.
   - name: InvName
     test-code: |
       T_rsc( ctx->status, RTEMS_INVALID_NAME );
diff --git a/spec/rtems/barrier/req/delete.yml b/spec/rtems/barrier/req/delete.yml
index dd24f9c..894882b 100644
--- a/spec/rtems/barrier/req/delete.yml
+++ b/spec/rtems/barrier/req/delete.yml
@@ -15,7 +15,7 @@ post-conditions:
       T_rsc_success( ctx->status );
     text: |
       The return status of ${../if/delete:/name} shall be
-      ${../../status/if/success:/name}.
+      ${../../status/if/successful:/name}.
   - name: InvId
     test-code: |
       T_rsc( ctx->status, RTEMS_INVALID_ID );
diff --git a/spec/rtems/barrier/req/release.yml b/spec/rtems/barrier/req/release.yml
index 6081661..aa85fe2 100644
--- a/spec/rtems/barrier/req/release.yml
+++ b/spec/rtems/barrier/req/release.yml
@@ -14,7 +14,7 @@ post-conditions:
       T_rsc_success( ctx->status );
     text: |
       The return status of ${../if/release:/name} shall be
-      ${../../status/if/success:/name}.
+      ${../../status/if/successful:/name}.
   - name: InvId
     test-code: |
       T_rsc( ctx->status, RTEMS_INVALID_ID );
diff --git a/spec/rtems/barrier/req/wait.yml b/spec/rtems/barrier/req/wait.yml
index 2b44f81..7aadc73 100644
--- a/spec/rtems/barrier/req/wait.yml
+++ b/spec/rtems/barrier/req/wait.yml
@@ -14,7 +14,7 @@ post-conditions:
       T_rsc_success( ctx->status );
     text: |
       The return status of ${../if/wait:/name} shall be
-      ${../../status/if/success:/name}.
+      ${../../status/if/successful:/name}.
   - name: InvId
     test-code: |
       T_rsc( ctx->status, RTEMS_INVALID_ID );



More information about the vc mailing list