From 59acd1093d36163cbab9a041b77168fcc33664c1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 11 Mar 2020 10:13:20 -0700 Subject: [PATCH] fix #3236 - fix also max conflict overwrite for incremental mode Signed-off-by: Nikolaj Bjorner --- 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 2eac67624..131e7504b 100644 --- a/src/smt/smt_parallel.cpp +++ b/src/smt/smt_parallel.cpp @@ -35,7 +35,7 @@ namespace smt { // try first sequential with a low conflict budget to make super easy problems cheap unsigned max_c = std::min(thread_max_conflicts, 40u); - ctx.get_fparams().m_max_conflicts = max_c; + flet _mc(ctx.get_fparams().m_max_conflicts, max_c); result = ctx.check(asms.size(), asms.c_ptr()); if (result != l_undef || ctx.m_num_conflicts < max_c) { return result;