Check if model_converter is non-null before initializing values in sa…

…t_tactic
Z3Prover · Sep 23, 2024 · 0604d23 · 0604d23
1 parent 5a6dc18
commit 0604d23
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/sat/tactic/sat_tactic.cpp b/src/sat/tactic/sat_tactic.cpp
@@ -43,7 +43,8 @@ class sat_tactic : public tactic {
         }
 
         void initialize_values(goal_ref const& g, atom2bool_var& map) {
-            g->mc()->convert_initialize_value(m_var2value);
+            if (g->mc())
+                g->mc()->convert_initialize_value(m_var2value);
             for (auto & [var, value] : m_var2value) {
                 if (!m.is_bool(var))
                     continue;