diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-06-02 16:26:34 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-02 16:26:34 -0500 |
commit | 947b7a0211c92ec02e8df9ec97c1db4138300184 (patch) | |
tree | b27158d83eb29e46befaa543a7d2018183dc0c3b /test/regress/regress1/bug567.smt2 | |
parent | 4732f17fb971f3843e47dc9bd942bf06bd40aaf0 (diff) | |
parent | 87b204084e86b534571f16250ca4871150b2a783 (diff) |
Merge branch 'master' into rm-bv-div-zero-const-refsrm-bv-div-zero-const-refs
Diffstat (limited to 'test/regress/regress1/bug567.smt2')
-rw-r--r-- | test/regress/regress1/bug567.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress1/bug567.smt2 b/test/regress/regress1/bug567.smt2 index 94cf3b547..15af93632 100644 --- a/test/regress/regress1/bug567.smt2 +++ b/test/regress/regress1/bug567.smt2 @@ -2,7 +2,7 @@ ; EXPECT: unknown ; EXPECT: unsat ; EXPECT: unknown -(set-logic ALL_SUPPORTED) +(set-logic ALL) (declare-datatypes ((OptInt0 0)) (((Some (value0 Int)) (None)))) (declare-datatypes ((List0 0)) (((Cons (head0 Int) (tail0 List0)) (Nil)))) |