synth: correctly restore sim state after sanity check

ekiwi · Dec 14, 2023 · d61bd87 · d61bd87
1 parent 47cfdcb
commit d61bd87
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/synth/src/incremental.rs b/synth/src/incremental.rs
@@ -69,6 +69,9 @@ where
             // start new SMT context to make it easy to later revert everything
             self.smt_ctx.push_many(1)?;
 
+            // restore correct starting state for SMT encoding
+            self.update_sim_state_to_step(step_range.start);
+
             // generate one minimal repair
             let r = generate_minimal_repair(
                 &mut self.rctx,