Disabling test/regress/regress0/push-pop/bug396.smt2. This takes 2m to run in debug...

diff --git a/test/regress/regress0/push-pop/Makefile.am b/test/regress/regress0/push-pop/Makefile.am
index 335b7d81863d413936bf16468b1a45c3428cbfe4..d1028aec06c024412c8395ea5ba8a5a1ed1d4958 100644 (file)
--- 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