From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 1 May 2019 17:28:08 +0000 (-0500)
Subject: Fix re-elim-agg regressions (#2987)
X-Git-Tag: cvc5-1.0.0~4155
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5d248c367869c4f6bea12dcad001c6cf3ee1c801;p=cvc5.git

Fix re-elim-agg regressions (#2987)
---

diff --git a/test/regress/regress1/strings/re-agg-total1.smt2 b/test/regress/regress1/strings/re-agg-total1.smt2
index 440a733b7..4e5b21c0f 100644
--- 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 e6e9d491a..54bf493a3 100644
--- 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)