summaryrefslogtreecommitdiffstats
path: root/spec/score/sem/req/seize-try.yml
diff options
context:
space:
mode:
Diffstat (limited to 'spec/score/sem/req/seize-try.yml')
-rw-r--r--spec/score/sem/req/seize-try.yml4
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