summaryrefslogtreecommitdiffstats
path: root/spec/rtems/scheduler/val/non-smp.yml
diff options
context:
space:
mode:
Diffstat (limited to 'spec/rtems/scheduler/val/non-smp.yml')
-rw-r--r--spec/rtems/scheduler/val/non-smp.yml26
1 files changed, 21 insertions, 5 deletions
diff --git a/spec/rtems/scheduler/val/non-smp.yml b/spec/rtems/scheduler/val/non-smp.yml
index c6531ab3..2b8acaf9 100644
--- a/spec/rtems/scheduler/val/non-smp.yml
+++ b/spec/rtems/scheduler/val/non-smp.yml
@@ -1,13 +1,13 @@
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
-- Copyright (C) 2021 embedded brains GmbH & Co. KG
+- Copyright (C) 2021, 2023 embedded brains GmbH & Co. KG
enabled-by:
not: RTEMS_SMP
links: []
test-actions:
- action-brief: |
- Check that calling ${../if/get-processor:/name} is a constant expression
- which evaluates to zero.
+ Assert that ${../if/get-processor:/name} is a constant expression which
+ evaluates to zero.
action-code: |
RTEMS_STATIC_ASSERT( rtems_scheduler_get_processor() == 0, GET_PROCESSOR );
checks: []
@@ -15,8 +15,16 @@ test-actions:
- role: validation
uid: ../req/get-processor-non-smp
- action-brief: |
- Check that calling ${../if/get-processor-maximum:/name} is a constant
- expression which evaluates to zero.
+ Check that calling ${../if/get-processor:/name} returns zero.
+ action-code: |
+ T_eq_u32( rtems_scheduler_get_processor(), 0 );
+ checks: []
+ links:
+ - role: validation
+ uid: ../req/get-processor-non-smp
+- action-brief: |
+ Assert that ${../if/get-processor-maximum:/name} is a constant expression
+ which evaluates to zero.
action-code: |
RTEMS_STATIC_ASSERT(
rtems_scheduler_get_processor_maximum() == 1,
@@ -26,6 +34,14 @@ test-actions:
links:
- role: validation
uid: ../req/get-processor-maximum-non-smp
+- action-brief: |
+ Check that calling ${../if/get-processor-maximum:/name} returns one.
+ action-code: |
+ T_eq_u32( rtems_scheduler_get_processor_maximum(), 1 );
+ checks: []
+ links:
+ - role: validation
+ uid: ../req/get-processor-maximum-non-smp
test-brief: |
This test case collection provides validation test cases for non-SMP
requirements of the ${../if/group:/name}.