diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-19 20:35:16 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-19 21:20:57 +0100 |
commit | 91882d29ef2e1aa1cb7efaac9bdbb1103a8453fc (patch) | |
tree | 8e3657bdebd27f9f95c5cae8431a45a62b747344 /spec/rtems/task/req/construct-errors.yml | |
parent | modules: Update rtems (diff) | |
download | rtems-central-91882d29ef2e1aa1cb7efaac9bdbb1103a8453fc.tar.bz2 |
spec: Use EARS syntax
Avoid the term "There shall".
Diffstat (limited to 'spec/rtems/task/req/construct-errors.yml')
-rw-r--r-- | spec/rtems/task/req/construct-errors.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/rtems/task/req/construct-errors.yml b/spec/rtems/task/req/construct-errors.yml index 422a1190..10619d42 100644 --- a/spec/rtems/task/req/construct-errors.yml +++ b/spec/rtems/task/req/construct-errors.yml @@ -124,7 +124,7 @@ pre-conditions: test-code: | /* Nothing to do */ text: | - There shall be at least one inactive task object available. + The system shall have at least one inactive task object available. - name: None test-code: | create_extension_status = ctx->create_extension_status; @@ -153,7 +153,7 @@ pre-conditions: ctx->create_extension_status = create_extension_status; text: | - There shall be no inactive task object available. + The system shall have no inactive task object available. test-epilogue: null test-prologue: | bool create_extension_status; |