From ebd3e31a8daeea5893590423a3b46806b7373510 Mon Sep 17 00:00:00 2001
From: Franz Reichl <reichl@cs.uni-freiburg.de>
Date: Thu, 13 Aug 2026 12:57:15 +0200
Subject: [PATCH] Fix a bug that can arise when reducing circuit depth.

---
 src/opt/eslim/delayEngine.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/opt/eslim/delayEngine.cpp b/src/opt/eslim/delayEngine.cpp
index 5e92566cf..c0a867511 100644
--- a/src/opt/eslim/delayEngine.cpp
+++ b/src/opt/eslim/delayEngine.cpp
@@ -121,9 +121,8 @@ namespace eSLIM {
   }
   
   std::vector<bool> DelayEngine::reduceDelay(unsigned int max_size, unsigned int initial_delay) {
-    assert (delay_selectors.find(initial_delay) != delay_selectors.end());
     std::vector<bool> last_model;
-    for( auto it = delay_selectors.find(initial_delay); it != delay_selectors.end(); ++it ) {
+    for( auto it = delay_selectors.lower_bound(initial_delay); it != delay_selectors.end(); ++it ) {
       int d = it->first;
       double timeout = getDynamicTimeout(max_size);
       int status = existsReplacement(max_size, d, timeout);