re-add tabu override

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 23, 2024 · 69dd247 · 69dd247
1 parent a2b8b72
commit 69dd247
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp
@@ -545,7 +545,7 @@ namespace sls {
             return true;
 
 
-//        flet<bool> _tabu(m_use_tabu, false);
+        flet<bool> _tabu(m_use_tabu, false);
         find_reset_moves(lit);
 
         if (apply_update()) 
@@ -558,7 +558,7 @@ namespace sls {
             ctx.force_restart();
             num_fail = 0;
         }
-        m_stats.m_num_steps++;
+//        m_stats.m_num_steps++;
         return false;
     }