[rtems-central commit] spec: Fix semaphore set priority validation

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    95d87f1c816de98e0e59353af05aadaddc7177ab
Changeset: http://git.rtems.org/rtems-central/commit/?id=95d87f1c816de98e0e59353af05aadaddc7177ab

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Fri May  7 07:38:28 2021 +0200

spec: Fix semaphore set priority validation

---

 spec/rtems/sem/req/set-priority.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/spec/rtems/sem/req/set-priority.yml b/spec/rtems/sem/req/set-priority.yml
index ae1eb9d..8f122e4 100644
--- a/spec/rtems/sem/req/set-priority.yml
+++ b/spec/rtems/sem/req/set-priority.yml
@@ -72,7 +72,9 @@ post-conditions:
           CheckPriority( ctx, ctx->other_scheduler_id, PRIO_VERY_HIGH );
         } else {
           CheckPriority( ctx, ctx->runner_scheduler_id, PRIO_VERY_HIGH );
+      #if defined(RTEMS_SMP)
           CheckPriority( ctx, ctx->other_scheduler_id, 0 );
+      #endif
         }
       } else if ( ( ctx->attribute_set & RTEMS_PRIORITY_CEILING ) != 0 ) {
         CheckPriority( ctx, ctx->runner_scheduler_id, PRIO_VERY_HIGH );
@@ -89,7 +91,9 @@ post-conditions:
     test-code: |
       if ( ( ctx->attribute_set & RTEMS_MULTIPROCESSOR_RESOURCE_SHARING ) != 0 ) {
         CheckPriority( ctx, ctx->runner_scheduler_id, PRIO_HIGH );
+      #if defined(RTEMS_SMP)
         CheckPriority( ctx, ctx->other_scheduler_id, 0 );
+      #endif
       } else if ( ( ctx->attribute_set & RTEMS_PRIORITY_CEILING ) != 0 ) {
         CheckPriority( ctx, ctx->runner_scheduler_id, PRIO_HIGH );
         CheckNotDefined( ctx, ctx->other_scheduler_id );