fix the code to cube at the correct frequency (#7422)

Co-authored-by: stormckey <chenhaogao123@gmail.com>
Z3Prover · Oct 15, 2024 · 3896e18 · 3896e18
1 parent 5993735
commit 3896e18
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp
@@ -149,7 +149,7 @@ namespace smt {
                 expr_ref c(pm);
 
                 pctx.get_fparams().m_max_conflicts = std::min(thread_max_conflicts, max_conflicts);
-                if (num_rounds > 0 && (pctx.get_fparams().m_threads_cube_frequency % num_rounds) == 0) 
+                if (num_rounds > 0 && (num_rounds % pctx.get_fparams().m_threads_cube_frequency) == 0) 
                     cube(pctx, lasms, c);
                 IF_VERBOSE(1, verbose_stream() << "(smt.thread " << i; 
                            if (num_rounds > 0) verbose_stream() << " :round " << num_rounds;