From 9c4409a8fee924c5883137282595f7303a2bf591 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 9 May 2014 11:48:28 -0700 Subject: [PATCH] set timout to max Signed-off-by: Nikolaj Bjorner --- src/api/api_opt.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/api/api_opt.cpp b/src/api/api_opt.cpp index e40d690fc..6ded13ee5 100644 --- a/src/api/api_opt.cpp +++ b/src/api/api_opt.cpp @@ -108,7 +108,8 @@ extern "C" { RESET_ERROR_CODE(); lbool r = l_undef; cancel_eh eh(*to_optimize_ref(o)); - unsigned timeout = 0; // to_optimize(o)->m_params.get_uint("timeout", mk_c(c)->get_timeout()); + unsigned timeout = 0xFFFFFFF; + // to_optimize(o)->m_params.get_uint("timeout", mk_c(c)->get_timeout()); api::context::set_interruptable si(*(mk_c(c)), eh); { scoped_timer timer(timeout, &eh);