From 6fa4a1ac5a58b438d3652ce5cab0403d7188f3e6 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 12 Apr 2021 09:56:48 +0200
Subject: [PATCH] Ensure there is only one simcall waiting.

---
 src/kernel/activity/SynchroRaw.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/kernel/activity/SynchroRaw.cpp b/src/kernel/activity/SynchroRaw.cpp
index 5b8950c250..05f4a00654 100644
--- a/src/kernel/activity/SynchroRaw.cpp
+++ b/src/kernel/activity/SynchroRaw.cpp
@@ -69,6 +69,7 @@ void RawImpl::post()
 
 void RawImpl::finish()
 {
+  xbt_assert(simcalls_.size() == 1, "Unexpected number of simcalls waiting: %zu", simcalls_.size());
   smx_simcall_t simcall = simcalls_.front();
   simcalls_.pop_front();
 
-- 
2.20.1