From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 4 Dec 2013 22:26:56 +0000 (-0500)
Subject: Remove a regression for which the portfolio takes forever (see bug 542).
X-Git-Tag: cvc5-1.0.0~7205
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1ba2e4f4e13771a27be678bb10812ce1077174be;p=cvc5.git

Remove a regression for which the portfolio takes forever (see bug 542).
---

diff --git a/test/regress/regress0/arith/Makefile.am b/test/regress/regress0/arith/Makefile.am
index ce6083363..d516e3d69 100644
--- a/test/regress/regress0/arith/Makefile.am
+++ b/test/regress/regress0/arith/Makefile.am
@@ -45,8 +45,8 @@ TESTS =	\
 	miplib2.cvc \
 	miplib3.cvc \
 	miplib4.cvc \
-	miplibtrick.smt \
-	prp-13-24.smt2
+	miplibtrick.smt
+#	prp-13-24.smt2
 #	problem__003.smt2
 
 EXTRA_DIST = $(TESTS) \