From 8a9edd1aa7d45a1fdbb1fc8380ea22da0ec3b434 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 10 Feb 2025 07:36:07 -1000
Subject: [PATCH] fix the test build
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
src/test/lp/lp.cpp | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp
index abf738b53..5afeea3fa 100644
--- a/src/test/lp/lp.cpp
+++ b/src/test/lp/lp.cpp
@@ -1704,7 +1704,9 @@ void test_dio() {
//lp_assert(solver.get_status() == lp_status::OPTIMAL);
enable_trace("dioph_eq");
enable_trace("dioph_eq_fresh");
+#ifdef Z3DEBUG
auto r = i_solver.dio_test();
+#endif
}
#ifdef Z3DEBUG