From ef82dc980ae7371a63110cb0484a25e9ed0f9c35 Mon Sep 17 00:00:00 2001
From: "Narazaki, Shuji" <shujinarazaki@protonmail.com>
Date: Thu, 19 Sep 2024 08:14:40 +0900
Subject: [PATCH] cargo test

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

diff --git a/src/solver/search.rs b/src/solver/search.rs
index be8949485..fb8c9d156 100644
--- a/src/solver/search.rs
+++ b/src/solver/search.rs
@@ -412,11 +412,12 @@ impl SolveIF for Solver {
             state[Stat::SubsumedClause] = elim.num_subsumed;
         }
         state.stm.initialize(STAGE_SIZE);
-        let nv: u32 = asg.derefer(assign::Tusize::NumUnassertedVar).ilog2();
+        let nv: u32 = asg.derefer(assign::Tusize::NumUnassertedVar).max(1).ilog2();
         let nc: u32 = cdb
             .iter()
             .filter(|c| !c.is_dead() && 2 < c.len())
             .count()
+            .max(1)
             .ilog2();
 
         Ok(SearchState {