From 46d23ea8d7fcc7f27060859ee9b3614e5f28f7fd Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Thu, 13 Jun 2019 16:36:03 +0100 Subject: [PATCH] fix assertion violation in nlsat test --- src/test/nlsat.cpp | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/test/nlsat.cpp b/src/test/nlsat.cpp index 1d69c8078..c3cf35acb 100644 --- a/src/test/nlsat.cpp +++ b/src/test/nlsat.cpp @@ -282,7 +282,6 @@ static void tst5() { nlsat::var x0, x1; x0 = pm.mk_var(); x1 = pm.mk_var(); - nlsat::interval_set_ref i(ism); polynomial_ref p(pm); polynomial_ref _x0(pm), _x1(pm); @@ -297,11 +296,11 @@ static void tst5() { scoped_anum zero(am); am.set(zero, 0); as.set(0, zero); - i = ev.infeasible_intervals(a, true); + auto i = ev.infeasible_intervals(a, true); std::cout << "1) " << i << "\n"; as.set(1, zero); - i = ev.infeasible_intervals(a, true); - std::cout << "2) " << i << "\n"; + auto i2 = ev.infeasible_intervals(a, true); + std::cout << "2) " << i2 << "\n"; }