projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: aecb70f)
Fix regress (#2575)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 3 Oct 2018 21:12:15 +0000 (16:12 -0500)
committerGitHub <noreply@github.com>
Wed, 3 Oct 2018 21:12:15 +0000 (16:12 -0500)
test/regress/regress1/sets/issue2568.smt2 patch | blob | history

diff --git a/test/regress/regress1/sets/issue2568.smt2 b/test/regress/regress1/sets/issue2568.smt2
index bb76e7368e8ffad6472aeedde2237ad08d10547c..2e3a5f9c86fe5d15e93affc0871a9073821de458 100644 (file)
--- a/test/regress/regress1/sets/issue2568.smt2
+++ b/test/regress/regress1/sets/issue2568.smt2
@@ -1,4 +1,4 @@
-; COMMAND-LINE: --lang=smt2.5
+; COMMAND-LINE: --lang=smt2.5 --incremental
 ; EXPECT: sat
 ; EXPECT: sat
 (set-logic ALL)