From c157f7e381d4fa2a713796b42a10562112952904 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 29 Nov 2012 23:55:37 +0000
Subject: reliable benchmark corresponding to bug468

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

(limited to 'test/regress/regress0/push-pop/boolean/Makefile.am')

diff --git a/test/regress/regress0/push-pop/boolean/Makefile.am b/test/regress/regress0/push-pop/boolean/Makefile.am
index c04939b6e..63b791aed 100644
--- a/test/regress/regress0/push-pop/boolean/Makefile.am
+++ b/test/regress/regress0/push-pop/boolean/Makefile.am
@@ -73,6 +73,10 @@ SMT2_TESTS = \
 	fuzz_51.smt2 \
 	fuzz_52.smt2 
 
+# Disabled because they take too long
+#	fuzz_1_to_52_merged.smt2 \
+#
+
 BUG_TESTS = 
 
 TESTS =	$(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(BUG_TESTS)
-- 
cgit v1.2.3