Add a debug_assert_eq to check extra_cycles is 0

libraries · Apr 25, 2024 · 3c45fc4 · 3c45fc4
1 parent e190794
commit 3c45fc4
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/script/src/scheduler.rs b/script/src/scheduler.rs
@@ -312,7 +312,11 @@ where
                     .ok_or(Error::CyclesOverflow)?;
                 Ok(consumed_cycles + self.extra_cycles)
             }
-            Err(e) => Err(e),
+            Err(e) => {
+                // In this case, there should be no vm instantiated/uninstantiated state switch.
+                debug_assert_eq!(self.extra_cycles, 0);
+                Err(e)
+            }
         }
     }