diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-18 08:50:19 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-19 08:22:34 +0100 |
commit | bd9519d7e97b67b5776fa88968246b8a4f1aa478 (patch) | |
tree | 48cf72a2bd11d5b0f562e756ef3a15efd705703a | |
parent | spec: Specify RTEMS_NO_PRIORITY (diff) | |
download | rtems-central-bd9519d7e97b67b5776fa88968246b8a4f1aa478.tar.bz2 |
spec: Specify RTEMS_MINIMUM_STACK_SIZE
-rw-r--r-- | spec/rtems/task/req/minimum-stack-size.yml | 16 | ||||
-rw-r--r-- | spec/rtems/task/val/task.yml | 12 |
2 files changed, 28 insertions, 0 deletions
diff --git a/spec/rtems/task/req/minimum-stack-size.yml b/spec/rtems/task/req/minimum-stack-size.yml new file mode 100644 index 00000000..8b085030 --- /dev/null +++ b/spec/rtems/task/req/minimum-stack-size.yml @@ -0,0 +1,16 @@ +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/minimum-stack-size +functional-type: function +rationale: null +references: [] +requirement-type: functional +text: | + The ${../if/minimum-stack-size:/name} constant shall expand to a constant + expression which evaluates to the value of + ${/score/stack/if/minimum-size:/name}. +type: requirement diff --git a/spec/rtems/task/val/task.yml b/spec/rtems/task/val/task.yml index 5d36dbc2..e7caa97e 100644 --- a/spec/rtems/task/val/task.yml +++ b/spec/rtems/task/val/task.yml @@ -114,6 +114,18 @@ test-actions: - role: validation uid: ../req/no-priority - action-brief: | + Assert that ${../if/minimum-stack-size:/name} is a constant expression which + evaluates to the expected value. + action-code: | + RTEMS_STATIC_ASSERT( + RTEMS_MINIMUM_STACK_SIZE == STACK_MINIMUM_SIZE, + MINIMUM_STACK_SIZE + ); + checks: [] + links: + - role: validation + uid: ../req/minimum-stack-size +- action-brief: | Validate ${../if/self-define:/name} using a sample directive call. action-code: | rtems_status_code sc; |