diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-05-05 14:41:19 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-05-08 21:58:56 +0200 |
commit | 7f913b96254af72e1d7cd55ff37a1cfaecd6b906 (patch) | |
tree | 4b8ba7db904317afa0002807f0b33391d173adda /spec/rtems/sem/req/release.yml | |
parent | spec: Fix format (diff) | |
download | rtems-central-7f913b96254af72e1d7cd55ff37a1cfaecd6b906.tar.bz2 |
spec: Use ${xzy:/spec} for item references
Diffstat (limited to 'spec/rtems/sem/req/release.yml')
-rw-r--r-- | spec/rtems/sem/req/release.yml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/spec/rtems/sem/req/release.yml b/spec/rtems/sem/req/release.yml index 9e432256..bcf18baf 100644 --- a/spec/rtems/sem/req/release.yml +++ b/spec/rtems/sem/req/release.yml @@ -30,7 +30,7 @@ post-conditions: ${/score/sem/req/surrender:/test-run}( &ctx->tq_sem_ctx ); text: | The calling task shall surrender the binary semaphore as specified by - ${/score/sem/req/surrender}. + ${/score/sem/req/surrender:/spec}. - name: CountingSurrender test-code: | ctx->tq_ctx.enqueue_variant = TQ_ENQUEUE_BLOCKS; @@ -41,7 +41,7 @@ post-conditions: ${/score/sem/req/surrender:/test-run}( &ctx->tq_sem_ctx ); text: | The calling task shall surrender the counting semaphore as specified by - ${/score/sem/req/surrender}. + ${/score/sem/req/surrender:/spec}. - name: MtxSurrender test-code: | ctx->tq_ctx.enqueue_variant = TQ_ENQUEUE_BLOCKS; @@ -53,7 +53,7 @@ post-conditions: ${/score/mtx/req/surrender:/test-run}( &ctx->tq_mtx_ctx ); text: | The calling task shall surrender the mutex as specified by - ${/score/mtx/req/surrender} where an enqueue blocks, a recursive seize is + ${/score/mtx/req/surrender:/spec} where an enqueue blocks, a recursive seize is allowed, the owner is checked, and no locking protocol is used. - name: InheritMtxSurrender test-code: | @@ -66,7 +66,7 @@ post-conditions: ${/score/mtx/req/surrender:/test-run}( &ctx->tq_mtx_ctx ); text: | The calling task shall surrender the mutex as specified by - ${/score/mtx/req/surrender} where an enqueue blocks, a recursive seize is + ${/score/mtx/req/surrender:/spec} where an enqueue blocks, a recursive seize is allowed, the owner is checked, and a priority inheritance protocol is used. - name: CeilingMtxSurrender @@ -80,7 +80,7 @@ post-conditions: ${/score/mtx/req/surrender:/test-run}( &ctx->tq_mtx_ctx ); text: | The calling task shall surrender the mutex as specified by - ${/score/mtx/req/surrender} where an enqueue blocks, a recursive seize is + ${/score/mtx/req/surrender:/spec} where an enqueue blocks, a recursive seize is allowed, the owner is checked, and a priority ceiling is used. - name: MrsPMtxSurrender test-code: | @@ -93,7 +93,7 @@ post-conditions: ${/score/mtx/req/surrender:/test-run}( &ctx->tq_mtx_ctx ); text: | The calling task shall surrender the mutex as specified by - ${/score/mtx/req/surrender} where an enqueue is sticky, a recursive seize + ${/score/mtx/req/surrender:/spec} where an enqueue is sticky, a recursive seize returns an error status, the owner is checked, and a priority ceiling is used. test-epilogue: null |