From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Tue, 28 Jul 2015 02:10:33 +0000 (-0500)
Subject: Disable bug590.smt2
X-Git-Tag: cvc5-1.0.0~6265
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f1dfab159ff9b29bfe86e976ae9953d77eefa308;p=cvc5.git

Disable bug590.smt2
---

diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 6bd6280ae..819e2176e 100644
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -170,11 +170,11 @@ BUG_TESTS = \
 	bug578.smt2 \
 	bug585.cvc \
 	bug586.cvc \
-	bug590.smt2 \
 	bug593.smt2 \
 	bug595.cvc \
 	bug596.cvc \
 	bug596b.cvc
+#bug590.smt2
 
 TESTS = $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(TPTP_TESTS) $(BUG_TESTS)