From e5698119d75569acdd796bc1924a5d88a291ef24 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 1 Nov 2013 17:27:24 -0700
Subject: [PATCH] debugging infinite upper bound checking

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/opt/optimize_objectives.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/opt/optimize_objectives.cpp b/src/opt/optimize_objectives.cpp
index bcc2b52be..870d0d2f1 100644
--- a/src/opt/optimize_objectives.cpp
+++ b/src/opt/optimize_objectives.cpp
@@ -76,8 +76,8 @@ namespace opt {
         }
           
         lbool is_sat = l_true;
-        // ready to test: 
-        is_sat = update_upper();
+        // Disabled while testing and tuning:
+        // is_sat = update_upper();
         opt_solver::toggle_objective _t(*s, true);
 
         while (is_sat == l_true && !m_cancel) {