From: Tim King <taking@cs.nyu.edu>
Date: Mon, 26 Nov 2012 17:01:48 +0000 (+0000)
Subject: Disabling test/regress/regress0/push-pop/bug396.smt2. This takes 2m to run in debug... 
X-Git-Tag: cvc5-1.0.0~7561
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f1390a66f5f2a9d9455346340282fbd5587327f8;p=cvc5.git

Disabling test/regress/regress0/push-pop/bug396.smt2. This takes 2m to run in debug mode. This is too long for a regress0 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