projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f16ee49)
Fix regress2. (#2502)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 23 Sep 2018 17:16:49 +0000 (12:16 -0500)
committerAina Niemetz <aina.niemetz@gmail.com>
Sun, 23 Sep 2018 17:16:49 +0000 (10:16 -0700)
test/regress/regress2/strings/cmu-disagree-0707-dd.smt2 patch | blob | history

diff --git a/test/regress/regress2/strings/cmu-disagree-0707-dd.smt2 b/test/regress/regress2/strings/cmu-disagree-0707-dd.smt2
index c44dfa3962745a88bfa14a71230909ce8fb7103b..140c7c659f046a1ce354010d976fc2fff6adde36 100644 (file)
--- a/test/regress/regress2/strings/cmu-disagree-0707-dd.smt2
+++ b/test/regress/regress2/strings/cmu-disagree-0707-dd.smt2
@@ -1,6 +1,8 @@
 (set-logic ALL_SUPPORTED)
 (set-info :status sat)
 (set-option :strings-exp true)
+(set-option :strings-fmf true)
+
 
 (declare-fun url () String)