From 6e80845c5376ebefd100bb4e96c5b0291797d702 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Wed, 27 Nov 2024 11:54:27 +0100
Subject: [PATCH] fix(demo): allow even slower sleep on debug

---
 examples/demo/src/thread.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/demo/src/thread.rs b/examples/demo/src/thread.rs
index 8a649d50d..42309b11f 100644
--- a/examples/demo/src/thread.rs
+++ b/examples/demo/src/thread.rs
@@ -13,7 +13,7 @@ pub fn sleep() {
 	eprintln!("Measured time for {duration:?} sleep: {elapsed:?}");
 	assert!(elapsed >= duration);
 	let expected_delay = if cfg!(debug_assertions) {
-		Duration::from_millis(100)
+		Duration::from_secs(1)
 	} else {
 		Duration::from_millis(5)
 	};