projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7ac83bb)
Fix re-elim-agg regressions (#2987)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 1 May 2019 17:28:08 +0000 (12:28 -0500)
committerAndres Noetzli <andres.noetzli@gmail.com>
Wed, 1 May 2019 17:28:08 +0000 (10:28 -0700)
test/regress/regress1/strings/re-agg-total1.smt2 patch | blob | history
test/regress/regress1/strings/re-agg-total2.smt2 patch | blob | history

diff --git a/test/regress/regress1/strings/re-agg-total1.smt2 b/test/regress/regress1/strings/re-agg-total1.smt2
index 440a733b7f77b7462bad26ca0d938f1ff6078992..4e5b21c0f3ecfc669013069884ff80f712dd7763 100644 (file)
--- a/test/regress/regress1/strings/re-agg-total1.smt2
+++ b/test/regress/regress1/strings/re-agg-total1.smt2
@@ -14,4 +14,3 @@
 (assert (> (str.len x)  1) )
 
 (check-sat)
-(get-model)
diff --git a/test/regress/regress1/strings/re-agg-total2.smt2 b/test/regress/regress1/strings/re-agg-total2.smt2
index e6e9d491a644a3baeafd3da8004ae954bf465741..54bf493a3f53a27c765c710a1ef4e06d9a2a5219 100644 (file)
--- a/test/regress/regress1/strings/re-agg-total2.smt2
+++ b/test/regress/regress1/strings/re-agg-total2.smt2
@@ -10,4 +10,3 @@
 (assert (> (str.len x) 20))
 (assert (< (str.len x) 25))
 (check-sat)
-(get-model)