From 5a38d9222e6039121b8e61602289254c22f3935e Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Fri, 21 Apr 2017 21:39:53 -0700 Subject: Disabled bug639.smt2 which still fails. --- test/regress/regress0/bug639.smt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/regress/regress0/bug639.smt2') diff --git a/test/regress/regress0/bug639.smt2 b/test/regress/regress0/bug639.smt2 index 254ef469d..9e31e75cd 100644 --- a/test/regress/regress0/bug639.smt2 +++ b/test/regress/regress0/bug639.smt2 @@ -1,5 +1,5 @@ (set-logic QF_AUFLIA) -(set-info :status sat) +(set-info :status unsat) (declare-fun i () Int) (declare-fun j () Int) (declare-fun k () Int) -- cgit v1.2.3