projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 51f9809)
Fix typo in regression (#3359)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 6 Oct 2019 15:34:24 +0000 (10:34 -0500)
committerAndres Noetzli <andres.noetzli@gmail.com>
Sun, 6 Oct 2019 15:34:24 +0000 (08:34 -0700)
test/regress/regress1/strings/issue3357.smt2 patch | blob | history

diff --git a/test/regress/regress1/strings/issue3357.smt2 b/test/regress/regress1/strings/issue3357.smt2
index 940245c089f805ffbcdb0370993521a2ff77e095..d0e436038eca344f6b3a2b8119be03aa6825a669 100644 (file)
--- a/test/regress/regress1/strings/issue3357.smt2
+++ b/test/regress/regress1/strings/issue3357.smt2
@@ -15,4 +15,4 @@
                 (= 0 (str.to.int (str.replace (str.replace a c "") "T" "")))))
 )
 (assert (= b (str.++ d f)))
-(check-sat
+(check-sat)