Changeset 2ec2fbb in rtems-central

Timestamp:

11/18/21 07:54:46 (7 months ago)

Author:

Sebastian Huber <sebastian.huber@…>

Branches:

master

Children:

cd9d0ad

Parents:

bd9519d

git-author:

Sebastian Huber <sebastian.huber@…> (11/18/21 07:54:46)

git-committer:

Sebastian Huber <sebastian.huber@…> (11/19/21 07:22:34)

Message:

spec: Specify RTEMS_MINIMUM_PRIORITY

Location:

spec/rtems/task

Files:

• req/minimum-priority.yml (added)
• val/task.yml (modified) (1 diff)

spec/rtems/task/val/task.yml

@@ -127 +127 @@
     uid: ../req/minimum-stack-size
 - action-brief: |
+    Assert that ${../if/minimum-priority:/name} is a constant expression which
+    evaluates to the expected value.
+  action-code: |
+    RTEMS_STATIC_ASSERT( RTEMS_MINIMUM_PRIORITY == 1, MINIMUM_PRIORITY );
+  checks: []
+  links:
+  - role: validation
+    uid: ../req/minimum-priority
+- action-brief: |
     Validate ${../if/self-define:/name} using a sample directive call.
   action-code: |