fix #4234

Z3Prover · May 7, 2020 · 6a61e8d · 6a61e8d
1 parent da9b037
commit 6a61e8d
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/opt/opt_context.cpp b/src/opt/opt_context.cpp
@@ -305,7 +305,10 @@ namespace opt {
             s.get_model(m_model);
             s.get_labels(m_labels);
             model_updated(m_model.get());
-        }
+            if (!m_model) {
+                is_sat = l_undef;
+            }
+        }        
         if (is_sat != l_true) {
             TRACE("opt", tout << m_hard_constraints << " " << asms << "\n";);            
             if (!asms.empty()) {