From 2f2e9fcf1fbb27f8e799aeac2372c0a9113f01aa Mon Sep 17 00:00:00 2001 From: ajreynol Date: Tue, 8 Nov 2016 10:09:53 -0600 Subject: Add a few options to separation logic and sets. Minor changes to separation logic, change syntax for empty heap constraint. --- test/regress/regress0/sep/nemp.smt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/regress/regress0/sep/nemp.smt2') diff --git a/test/regress/regress0/sep/nemp.smt2 b/test/regress/regress0/sep/nemp.smt2 index a0766a7e0..99d7f9c91 100644 --- a/test/regress/regress0/sep/nemp.smt2 +++ b/test/regress/regress0/sep/nemp.smt2 @@ -1,5 +1,5 @@ ; COMMAND-LINE: --no-check-models ; EXPECT: sat (set-logic QF_ALL_SUPPORTED) -(assert (not (emp 0))) +(assert (not (emp 0 0))) (check-sat) -- cgit v1.2.3