From e6bb2eb7299f60a334a633a33e9085e1bc936a85 Mon Sep 17 00:00:00 2001 From: Andres Notzli Date: Mon, 12 Dec 2016 01:55:36 -0800 Subject: [PATCH] Fix split-find-unsat-w-emp test Commit 2f2e9fcf1fbb27f8e799aeac2372c0a9113f01aa did not update the split-find-unsat-w-emp test, this commit fixes that. --- test/regress/regress1/sep/split-find-unsat-w-emp.smt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/regress/regress1/sep/split-find-unsat-w-emp.smt2 b/test/regress/regress1/sep/split-find-unsat-w-emp.smt2 index 10e509e05..c606d0ab6 100644 --- a/test/regress/regress1/sep/split-find-unsat-w-emp.smt2 +++ b/test/regress/regress1/sep/split-find-unsat-w-emp.smt2 @@ -10,7 +10,7 @@ (declare-const c Int) (assert (and - (not (sep (not (pto x a)) (not (pto y b)) (not (sep (pto x a) (pto y b))) (not (emp x)) )) + (not (sep (not (pto x a)) (not (pto y b)) (not (sep (pto x a) (pto y b))) (not (emp x x)) )) (sep (pto x a) (pto y b)) ) ) -- 2.30.2