From f5ccdf6a4753e60a90b3e7151a24b51064415799 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 10 Feb 2025 13:23:15 -0800
Subject: [PATCH] disable value transfer to SMT

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_context.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 457e58f7c..7d320ecb1 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -2930,6 +2930,8 @@ namespace smt {
     void context::set_sls_value(expr* var, expr* value) {
         expr_ref _var(var, m);
         expr_ref _valueu(value, m);
+#if 0
+// temporary disabled
         if (!e_internalized(var))
             return;
         enode* n = get_enode(var);
@@ -2941,6 +2943,7 @@ namespace smt {
                 p->initialize_value(var, value);
             l = l->get_next();
         }
+#endif
     }
 
     void context::initialize_value(expr* var, expr* value) {