From 7e724df01280af17bd9aaf184ddaaca6399b6b0f Mon Sep 17 00:00:00 2001
From: "Narazaki, Shuji" <shujinarazaki@protonmail.com>
Date: Mon, 23 Sep 2024 18:54:29 +0900
Subject: [PATCH] Reflect the current status on stat variables before
 displaying

---
 src/solver/search.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/solver/search.rs b/src/solver/search.rs
index 37f9e6c29..99e7b848d 100644
--- 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")]