From 34d1ab06adf2c3ae718c3406dac9ac34c68f939b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Wed, 13 Sep 2023 14:11:50 +0200
Subject: [PATCH] fix(task): assert task found in custom_wakeup
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>
---
 src/scheduler/task.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/scheduler/task.rs b/src/scheduler/task.rs
index caed8dd6ed..755fbf71da 100644
--- a/src/scheduler/task.rs
+++ b/src/scheduler/task.rs
@@ -609,12 +609,14 @@ impl BlockedTaskQueue {
 					);
 				}
 
-				break;
+				return;
 			}
 
 			first_task = false;
 			cursor.move_next();
 		}
+
+		unreachable!();
 	}
 
 	/// Wakes up all tasks whose wakeup time has elapsed.