diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-08 11:58:17 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-08 11:58:17 +0100 |
| commit | a9589784864aa76f31101a5d27654194eaa77f14 (patch) | |
| tree | 4cdf5dc88c9aa16e2b713dd6681fb01f0b8ec721 | |
| parent | modules: Update rtems (diff) | |
| download | rtems-central-a9589784864aa76f31101a5d27654194eaa77f14.tar.bz2 | |
spec: Fix references
| -rw-r--r-- | spec/rtems/barrier/req/create.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/barrier/req/delete.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/barrier/req/release.yml | 2 | ||||
| -rw-r--r-- | 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 73273049..3789305c 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 dd24f9cb..894882b8 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 60816618..aa85fe22 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 2b44f814..7aadc735 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 ); |