From 7568b9c997ebbb8f59e77406b81e28868d4fdcff Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Wed, 17 Apr 2024 11:19:50 +0200
Subject: spec: Fix synchronization issues

---
 spec/score/sched/smp/val/smp.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spec/score/sched/smp/val/smp.yml b/spec/score/sched/smp/val/smp.yml
index 610b30f9..fb106cd6 100644
--- a/spec/score/sched/smp/val/smp.yml
+++ b/spec/score/sched/smp/val/smp.yml
@@ -972,6 +972,7 @@ test-support: |
     SetScheduler( ctx->worker_id[ WORKER_C ], SCHEDULER_B_ID, PRIO_HIGH );
     SetPriority( ctx->worker_id[ WORKER_A ], PRIO_NORMAL );
     MakeBusy( ctx, WORKER_C );
+    WaitForBusy( ctx, WORKER_C );
     MakeBusy( ctx, WORKER_A );
   }
 
-- 
cgit v1.2.3