1 files changed, 3 insertions, 0 deletions

diff --git a/uarch/core.cpp b/uarch/core.cpp
index 503e286..ce58df2 100644
--- a/uarch/core.cpp
+++ b/uarch/core.cpp
@@ -364,6 +364,9 @@ bail_out:
         if (interrupt || oldctlregs != ctlregs)
             if (!restarttr.has_value())
                 restarttr = infra::pt::toplevel();
+        cycles_since_progress = 0;
+    } else {
+        assert(++cycles_since_progress < 10);
     }
 
     if (restarttr.has_value()) {