From 3896e1822755365ad496b71318c6108934d70385 Mon Sep 17 00:00:00 2001 From: stormckey Date: Tue, 15 Oct 2024 23:56:35 +0800 Subject: [PATCH] fix the code to cube at the correct frequency (#7422) Co-authored-by: stormckey --- src/smt/smt_parallel.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp index 82bda1d39e3..17abe66be88 100644 --- 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;