projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5d73641)
Status for new bug testcase.
authorMorgan Deters <mdeters@cs.nyu.edu>
Sun, 13 Jul 2014 01:09:35 +0000 (21:09 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sun, 13 Jul 2014 01:09:49 +0000 (21:09 -0400)
test/regress/regress0/boolean-terms-bug-array.smt2 patch | blob | history

diff --git a/test/regress/regress0/boolean-terms-bug-array.smt2 b/test/regress/regress0/boolean-terms-bug-array.smt2
index 781a19ff5bb24b997ffd8e20dfdd8acf785c7b1b..1183487f90c2ff9b878c6ef992dae8dcf21f93f6 100644 (file)
--- a/test/regress/regress0/boolean-terms-bug-array.smt2
+++ b/test/regress/regress0/boolean-terms-bug-array.smt2
@@ -1,4 +1,5 @@
 (set-logic AUFLIRA)
+(set-info :status sat)
 
 (declare-fun f ((Array Int Bool)) Bool)
 (declare-fun y () (Array Int Bool))