cargo test

shnarazk · Sep 18, 2024 · ef82dc9 · ef82dc9
1 parent 975e36e
commit ef82dc9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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 {