diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-04-14 20:36:06 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-04-19 16:37:55 +0200 |
| commit | 93d6393c4b06e5de47be3a962771b140d72aa227 (patch) | |
| tree | 3caaf3b7f8d7c91e11d0b40d25143a5a20960fab /spec/score/sem/req/seize-try.yml | |
| parent | spec: Account for helping schedulers (diff) | |
| download | rtems-central-93d6393c4b06e5de47be3a962771b140d72aa227.tar.bz2 | |
spec: Specify semphore obtain
Diffstat (limited to 'spec/score/sem/req/seize-try.yml')
| -rw-r--r-- | spec/score/sem/req/seize-try.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/score/sem/req/seize-try.yml b/spec/score/sem/req/seize-try.yml index f830d874..8c0377e8 100644 --- a/spec/score/sem/req/seize-try.yml +++ b/spec/score/sem/req/seize-try.yml @@ -42,12 +42,12 @@ pre-conditions: test-code: | ctx->count_before = 0; text: | - The count of the semaphore shall be zero. + While the count of the semaphore is zero. - name: Positive test-code: | ctx->count_before = 1; text: | - The count of the semaphore shall be greater than zero. + While the count of the semaphore is greater than zero. test-epilogue: null test-prologue: null rationale: null |