From fcbf660592c9cf7cd594a73d8b9f4a7d4057fe32 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 3 Mar 2020 19:29:15 -0800 Subject: [PATCH] fix #3133 Signed-off-by: Nikolaj Bjorner --- src/sat/sat_config.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/sat/sat_config.cpp b/src/sat/sat_config.cpp index 7b984cd62..b4a038eb3 100644 --- a/src/sat/sat_config.cpp +++ b/src/sat/sat_config.cpp @@ -101,6 +101,7 @@ namespace sat { m_unit_walk = p.unit_walk(); m_unit_walk_threads = p.unit_walk_threads(); m_binspr = p.binspr(); + m_binspr = false; // prevent adventurous users from trying feature that isn't ready m_anf_simplify = p.anf(); m_anf_delay = p.anf_delay(); m_anf_exlin = p.anf_exlin();