diff options
Diffstat (limited to 'spec/rtems/task/req')
| -rw-r--r-- | spec/rtems/task/req/construct-errors.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/task/req/create-errors.yml | 2 |
2 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 ab1fbc56..96d6a5ca 100644 --- a/spec/rtems/task/req/construct-errors.yml +++ b/spec/rtems/task/req/construct-errors.yml @@ -219,7 +219,7 @@ pre-conditions: test-code: | ctx->seized_objects = T_seize_objects( Create, ctx ); text: | - The system shall have no inactive task object available. + The system shall not have an inactive task object available. test-epilogue: null test-prologue: null - name: TLS diff --git a/spec/rtems/task/req/create-errors.yml b/spec/rtems/task/req/create-errors.yml index 3703b869..0861bfe8 100644 --- a/spec/rtems/task/req/create-errors.yml +++ b/spec/rtems/task/req/create-errors.yml @@ -197,7 +197,7 @@ pre-conditions: test-code: | ctx->seized_objects = T_seize_objects( Create, ctx ); text: | - The system shall have no inactive task object available. + The system shall not have an inactive task object available. test-epilogue: null test-prologue: null - name: Stack |