From 0d7b7a417a3b3743546324af43d154cfe8d09c17 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 25 Aug 2022 13:29:42 -0700 Subject: [PATCH] selectively re-add solver_params Signed-off-by: Nikolaj Bjorner --- src/sat/sat_config.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sat/sat_config.cpp b/src/sat/sat_config.cpp index b3bd11999..b911ee971 100644 --- a/src/sat/sat_config.cpp +++ b/src/sat/sat_config.cpp @@ -32,7 +32,7 @@ namespace sat { void config::updt_params(params_ref const & _p) { sat_params p(_p); - // solver_params sp(_p); + solver_params sp(_p); m_max_memory = megabytes_to_bytes(p.max_memory()); @@ -197,7 +197,7 @@ namespace sat { m_drat_check_unsat = p.drat_check_unsat(); m_drat_check_sat = p.drat_check_sat(); m_drat_file = p.drat_file(); - m_drat = !p.drat_disable() && (/*sp.lemmas2console() || */ m_drat_check_unsat || m_drat_file.is_non_empty_string() || m_drat_check_sat) && p.threads() == 1; + m_drat = !p.drat_disable() && (sp.lemmas2console() || m_drat_check_unsat || m_drat_file.is_non_empty_string() || m_drat_check_sat) && p.threads() == 1; m_drat_binary = p.drat_binary(); m_drat_activity = p.drat_activity(); m_drup_trim = p.drup_trim();