projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5401565)
Fix regression option (#4680)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 2 Jul 2020 17:17:32 +0000 (12:17 -0500)
committerGitHub <noreply@github.com>
Thu, 2 Jul 2020 17:17:32 +0000 (10:17 -0700)
test/regress/regress1/quantifiers/eqrange_ex_1.smt2 patch | blob | history

diff --git a/test/regress/regress1/quantifiers/eqrange_ex_1.smt2 b/test/regress/regress1/quantifiers/eqrange_ex_1.smt2
index ca53d7cf5ea38da3b333cbf6319d8dfd8aa59d37..8e3311ff2d2178e5bec9dfd983890d00678d2687 100644 (file)
--- a/test/regress/regress1/quantifiers/eqrange_ex_1.smt2
+++ b/test/regress/regress1/quantifiers/eqrange_ex_1.smt2
@@ -1,3 +1,5 @@
+; COMMAND-LINE: --arrays-exp
+; EXPECT: unsat
 (set-logic ALL)
 (set-info :status unsat)
 (set-option :produce-models true)