From 89f1541d83ed1a9353624e83ac66685ddef1d2ba Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 3 Oct 2015 17:15:45 -0700 Subject: [PATCH] put break statement in else branh. Issue #230 (broken loop) Signed-off-by: Nikolaj Bjorner --- src/api/api_opt.cpp | 2 ++ src/util/prime_generator.cpp | 5 ++++- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/src/api/api_opt.cpp b/src/api/api_opt.cpp index 0f322c6e9..6dab74d9f 100644 --- a/src/api/api_opt.cpp +++ b/src/api/api_opt.cpp @@ -126,9 +126,11 @@ extern "C" { lbool r = l_undef; cancel_eh eh(*to_optimize_ptr(o)); unsigned timeout = to_optimize_ptr(o)->get_params().get_uint("timeout", mk_c(c)->get_timeout()); + unsigned rlimit = mk_c(c)->get_rlimit(); api::context::set_interruptable si(*(mk_c(c)), eh); { scoped_timer timer(timeout, &eh); + scoped_rlimit _rlimit(mk_c(c)->m().limit(), rlimit); try { r = to_optimize_ptr(o)->optimize(); } diff --git a/src/util/prime_generator.cpp b/src/util/prime_generator.cpp index a82400305..0f2441455 100644 --- a/src/util/prime_generator.cpp +++ b/src/util/prime_generator.cpp @@ -67,8 +67,11 @@ void prime_generator::process_next_k_numbers(uint64 k) { if (todo[k1] < p) { m_primes.push_back(todo[k1]); } - break; + else { + break; + } } + std::cout << "TODO:" << k1 << "\n"; unsigned k2 = 0; for (; k1 < todo_sz; k1++, k2++) { todo[k2] = todo[k1];