Reflect the current status on stat variables before displaying

shnarazk · Sep 23, 2024 · 7e724df · 7e724df
1 parent 2cd2e09
commit 7e724df
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/solver/search.rs b/src/solver/search.rs
@@ -552,6 +552,8 @@ impl SolveIF for Solver {
                     state
                         .stm
                         .set_span_base(state.c_lvl.get_slow() - state.b_lvl.get_slow());
+
+                    asg.clear_asserted_literals(cdb)?;
                     dump_stage(asg, cdb, state, &ss.previous_stage);
 
                     #[cfg(feature = "rephase")]