diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-08-04 16:51:35 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-08-04 16:51:35 +0200 |
commit | 59620e0dcafd8224ce609785c37dd8350c33683f (patch) | |
tree | 1bd882ba00e2716ace9f520bcfc32ac6374f9b38 /test/regress/regress0/rewriterules | |
parent | b539a167fa56deea34472a9725693f45ae325dd8 (diff) |
Set default language to smt lib 2.6 (including as a base language for sygus), update regressions.
Diffstat (limited to 'test/regress/regress0/rewriterules')
-rw-r--r-- | test/regress/regress0/rewriterules/native_datatypes.smt2 | 6 | ||||
-rw-r--r-- | test/regress/regress0/rewriterules/native_datatypes2.smt2 | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/test/regress/regress0/rewriterules/native_datatypes.smt2 b/test/regress/regress0/rewriterules/native_datatypes.smt2 index f5d53e3d5..c3c4aad73 100644 --- a/test/regress/regress0/rewriterules/native_datatypes.smt2 +++ b/test/regress/regress0/rewriterules/native_datatypes.smt2 @@ -3,9 +3,9 @@ (set-info :status unsat) -(declare-datatypes ( -(nat (succ (pred nat)) (zero ) ) -(list (cons (car nat)(cdr list)) (nil ) ) +(declare-datatypes ((nat 0) (list 0)) ( +((succ (pred nat)) (zero ) ) +((cons (car nat)(cdr list)) (nil ) ) )) diff --git a/test/regress/regress0/rewriterules/native_datatypes2.smt2 b/test/regress/regress0/rewriterules/native_datatypes2.smt2 index 4a719fb85..f19e5097b 100644 --- a/test/regress/regress0/rewriterules/native_datatypes2.smt2 +++ b/test/regress/regress0/rewriterules/native_datatypes2.smt2 @@ -3,9 +3,9 @@ (set-info :status unsat) -(declare-datatypes ( -(nat (succ (pred nat)) (zero ) ) -(list (cons (car nat)(cdr list)) (nil ) ) +(declare-datatypes ((nat 0) (list 0)) ( +((succ (pred nat)) (zero ) ) +((cons (car nat)(cdr list)) (nil ) ) )) |