From 95d87f1c816de98e0e59353af05aadaddc7177ab Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Fri, 7 May 2021 07:38:28 +0200 Subject: 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 ae1eb9d4..8f122e49 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 ); -- cgit v1.2.3