From 0b856638e9722f3d61d08a596564f2201a60d6e4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 3 Apr 2020 15:31:44 -0700 Subject: [PATCH] fix #3721 Signed-off-by: Nikolaj Bjorner --- src/sat/sat_local_search.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/sat/sat_local_search.cpp b/src/sat/sat_local_search.cpp index b3ce9c6c1..8dc6d0615 100644 --- a/src/sat/sat_local_search.cpp +++ b/src/sat/sat_local_search.cpp @@ -754,10 +754,12 @@ namespace sat { } add_unit(~lit, null_literal); if (!propagate(~lit)) { - IF_VERBOSE(0, verbose_stream() << "unsat\n"); + IF_VERBOSE(2, verbose_stream() << "unsat\n"); m_is_unsat = true; return; } + if (m_unsat_stack.empty()) + return; goto reflip; }