diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-13 11:29:47 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-13 11:29:47 -0500 |
commit | 8fd4ac8bff4aa7a4b4e04e35f6944d303d5cf498 (patch) | |
tree | 0344ffc01fbc5d27faf19e0ef0a0de36551145eb /test/regress/regress1 | |
parent | 47b910a85de71b6617e4d1d210dcb57de597961b (diff) |
Properly implement logic info for separation logic (#3176)
Diffstat (limited to 'test/regress/regress1')
-rw-r--r-- | test/regress/regress1/sep/sep-find2.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress1/sep/sep-find2.smt2 b/test/regress/regress1/sep/sep-find2.smt2 index 356f866c1..3d6188894 100644 --- a/test/regress/regress1/sep/sep-find2.smt2 +++ b/test/regress/regress1/sep/sep-find2.smt2 @@ -1,4 +1,4 @@ -(set-logic QF_ALL_SUPPORTED) +(set-logic QF_SEP_LIA) (set-info :status unsat) (declare-const x1 Int) |