projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: fc4c03c)
Remove a regression for which the portfolio takes forever (see bug 542).
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Dec 2013 22:26:56 +0000 (17:26 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Dec 2013 22:31:57 +0000 (17:31 -0500)
test/regress/regress0/arith/Makefile.am patch | blob | history

diff --git a/test/regress/regress0/arith/Makefile.am b/test/regress/regress0/arith/Makefile.am
index ce6083363c6565ce0f730ef3a3e578d643ba2b9b..d516e3d69ceda6ff165560b04c1bf1adaf6a2a87 100644 (file)
--- 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) \