From 91882d29ef2e1aa1cb7efaac9bdbb1103a8453fc Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Fri, 19 Feb 2021 20:35:16 +0100 Subject: spec: Use EARS syntax Avoid the term "There shall". --- spec/rtems/task/req/construct-errors.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'spec/rtems/task/req/construct-errors.yml') 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; -- cgit v1.2.3