From d4b0bde380c101ddff24b983e7af80ae716806a6 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Fri, 22 Jan 2010 22:43:37 +0000
Subject: Added regression test

---
 test/regress/Makefile.am | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'test/regress/Makefile.am')

diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am
index 61527e4d8..e229d488a 100644
--- a/test/regress/Makefile.am
+++ b/test/regress/Makefile.am
@@ -2,4 +2,5 @@ TESTS_ENVIRONMENT = @top_builddir@/bin/cvc4
 TESTS = \
 	simple.cvc \
 	simple.smt \
-	bug1.cvc
+	bug1.cvc \
+	qwh.35.405.shuffled-as.sat03-1651.smt
-- 
cgit v1.2.3