From ae1d4e4f05fdc2db61d7de7efee5bd567363ceef Mon Sep 17 00:00:00 2001 From: ajreynol Date: Wed, 28 Jun 2017 13:37:18 -0500 Subject: Enable non-linear solve by default, update regressions. --- test/regress/regress0/arith/mod.03.smt2 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/regress/regress0/arith/mod.03.smt2') diff --git a/test/regress/regress0/arith/mod.03.smt2 b/test/regress/regress0/arith/mod.03.smt2 index 110de05d7..8a6ac51d7 100644 --- a/test/regress/regress0/arith/mod.03.smt2 +++ b/test/regress/regress0/arith/mod.03.smt2 @@ -1,7 +1,7 @@ -; EXPECT: unknown +; EXPECT: sat (set-logic QF_NIA) (set-info :smt-lib-version 2.0) -(set-info :status unknown) +(set-info :status sat) (declare-fun n () Int) (declare-fun x () Int) -- cgit v1.2.3