summaryrefslogtreecommitdiff
path: root/test/regress/regress0/arith/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'test/regress/regress0/arith/Makefile.am')
-rw-r--r--test/regress/regress0/arith/Makefile.am3
1 files changed, 0 insertions, 3 deletions
diff --git a/test/regress/regress0/arith/Makefile.am b/test/regress/regress0/arith/Makefile.am
index 2e722b297..6897ee3c4 100644
--- a/test/regress/regress0/arith/Makefile.am
+++ b/test/regress/regress0/arith/Makefile.am
@@ -48,9 +48,6 @@ TESTS = \
miplibtrick.smt
# problem__003.smt2
-# Takes more than 10 seconds on debug build, move it to regress1:
-# prp-13-24.smt2 (takes move than 30 seconds)
-
EXTRA_DIST = $(TESTS) \
miplib-opt1217--27.smt \
miplib-opt1217--27.smt2 \
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback