comment

succinctlabs · Aug 29, 2024 · 5bd4889 · 5bd4889
1 parent 2b8cfa8
commit 5bd4889
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/crates/core/executor/src/executor.rs b/crates/core/executor/src/executor.rs
@@ -256,6 +256,9 @@ impl<'a> Executor<'a> {
             let addr = Register::from_u32(i as u32) as u32;
             let record = self.state.memory.get(&addr);
 
+            // Only add the previous memory state to checkpoint map if we're in checkpoint mode,
+            // or if we're in unconstrained mode. In unconstrained mode, the mode is always
+            // Simple.
             if self.executor_mode == ExecutorMode::Checkpoint || self.unconstrained {
                 match record {
                     Some(record) => {