diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-18 09:01:02 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-19 08:22:34 +0100 |
commit | cd9d0ad1f00142cb273fa7d049abefcbd58a602f (patch) | |
tree | 501bd03041c9c7d2a630d3717a8380cfdb8ebc77 /spec/rtems/task | |
parent | spec: Specify RTEMS_MINIMUM_PRIORITY (diff) | |
download | rtems-central-cd9d0ad1f00142cb273fa7d049abefcbd58a602f.tar.bz2 |
spec: Specify RTEMS_CONFIGURED_MINIMUM_STACK_SIZE
Diffstat (limited to 'spec/rtems/task')
-rw-r--r-- | spec/rtems/task/req/configured-minimum-stack-size.yml | 17 | ||||
-rw-r--r-- | spec/rtems/task/val/task.yml | 12 |
2 files changed, 29 insertions, 0 deletions
diff --git a/spec/rtems/task/req/configured-minimum-stack-size.yml b/spec/rtems/task/req/configured-minimum-stack-size.yml new file mode 100644 index 00000000..ef03932f --- /dev/null +++ b/spec/rtems/task/req/configured-minimum-stack-size.yml @@ -0,0 +1,17 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: interface-function + uid: ../if/configured-minimum-stack-size +functional-type: function +rationale: | + Using a value of zero will let ${../if/create:/name} select the configured + minimum task stack size. +references: [] +requirement-type: functional +text: | + The ${../if/configured-minimum-stack-size:/name} constant shall expand to a + constant expression which evaluates to the value of zero. +type: requirement diff --git a/spec/rtems/task/val/task.yml b/spec/rtems/task/val/task.yml index 4964922a..437eccb0 100644 --- a/spec/rtems/task/val/task.yml +++ b/spec/rtems/task/val/task.yml @@ -126,6 +126,18 @@ test-actions: - role: validation uid: ../req/minimum-stack-size - action-brief: | + Assert that ${../if/configured-minimum-stack-size:/name} is a constant + expression which evaluates to the expected value. + action-code: | + RTEMS_STATIC_ASSERT( + RTEMS_CONFIGURED_MINIMUM_STACK_SIZE == 0, + CONFIGURED_MINIMUM_STACK_SIZE + ); + checks: [] + links: + - role: validation + uid: ../req/configured-minimum-stack-size +- action-brief: | Assert that ${../if/minimum-priority:/name} is a constant expression which evaluates to the expected value. action-code: | |