From 0cf18ab18eaaaf197cc0c8491be613fa17c400d3 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 29 Sep 2015 11:50:10 +0100
Subject: [PATCH] Propagated rlimit changes to sat::solver into sat_user_scope
 tests

---
 src/test/sat_user_scope.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/test/sat_user_scope.cpp b/src/test/sat_user_scope.cpp
index 5107361bd..aa717f371 100644
--- a/src/test/sat_user_scope.cpp
+++ b/src/test/sat_user_scope.cpp
@@ -58,7 +58,8 @@ static void init_vars(sat::solver& s) {
 
 static void check_coherence(sat::solver& s1, trail_t& t) {
     params_ref p;
-    sat::solver s2(p, 0);
+    reslimit rlim;
+    sat::solver s2(p, rlim, 0);
     init_vars(s2);
     sat::literal_vector cls;
     for (unsigned i = 0; i < t.size(); ++i) {
@@ -83,7 +84,8 @@ void tst_sat_user_scope() {
     random_gen r(0);
     trail_t trail;
     params_ref p;
-    sat::solver s(p, 0);  // incremental solver
+    reslimit rlim;
+    sat::solver s(p, rlim, 0);  // incremental solver
     init_vars(s);
     while (true) {
         for (unsigned i = 0; i < s_num_frames; ++i) {