From d6106f26ff6e61a93b4100bc68966d0bbbddc9d6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 20 Nov 2020 12:18:19 -0800
Subject: [PATCH] disable gcd test

---
 src/ast/rewriter/bv_rewriter.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/ast/rewriter/bv_rewriter.cpp b/src/ast/rewriter/bv_rewriter.cpp
index 385906ac2..108aee81c 100644
--- a/src/ast/rewriter/bv_rewriter.cpp
+++ b/src/ast/rewriter/bv_rewriter.cpp
@@ -2616,10 +2616,12 @@ br_status bv_rewriter::mk_eq_core(expr * lhs, expr * rhs, expr_ref & result) {
         std::swap(lhs, rhs);
     }
 
+#if 0
     if (!gcd_test(lhs, rhs)) {
         result = m().mk_false();
         return BR_DONE;
-    }        
+    }
+#endif        
 
     br_status st;
     if (m_bit2bool) {