From f1390a66f5f2a9d9455346340282fbd5587327f8 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Mon, 26 Nov 2012 17:01:48 +0000
Subject: Disabling test/regress/regress0/push-pop/bug396.smt2. This takes 2m
 to run in debug mode. This is too long for a regress0 test.

---
 test/regress/regress0/push-pop/Makefile.am | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test')

diff --git a/test/regress/regress0/push-pop/Makefile.am b/test/regress/regress0/push-pop/Makefile.am
index 335b7d818..d1028aec0 100644
--- a/test/regress/regress0/push-pop/Makefile.am
+++ b/test/regress/regress0/push-pop/Makefile.am
@@ -32,14 +32,14 @@ BUG_TESTS = \
 	bug233.cvc \
 	bug326.smt2 \
 	bug394.smt2 \
-	bug396.smt2 \
 	arith_lra_01.smt2 \
 	arith_lra_02.smt2
 
 TESTS =	$(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(BUG_TESTS)
 
 EXTRA_DIST = $(TESTS) \
-	bug216.smt2.expect
+	bug216.smt2.expect \
+	bug396.smt2
 
 # synonyms for "check" in this directory
 .PHONY: regress regress0 test
-- 
cgit v1.2.3