From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 13 Jun 2012 18:24:30 +0000 (+0000)
Subject: add passing regression
X-Git-Tag: cvc5-1.0.0~8037
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0f0f135f98372e32dafb0e70aa918f92b57ae8c7;p=cvc5.git

add passing regression
---

diff --git a/test/regress/regress0/decision/Makefile.am b/test/regress/regress0/decision/Makefile.am
index cce48c5a4..54273603e 100644
--- a/test/regress/regress0/decision/Makefile.am
+++ b/test/regress/regress0/decision/Makefile.am
@@ -18,12 +18,12 @@ TESTS =	\
 	quant-Arrays_Q1-noinfer.smt2 \
 	uflia-error0.smt2 \
 	uflia-xs-09-16-3-4-1-5.smt \
+	uflia-xs-09-16-3-4-1-5.delta03.smt \
 	bug347.smt
 
 # Incorrect answers:
-#	aufbv-fuzz01.smt \
 #	quant-symmetric_unsat_7.smt2 \
-#	uflia-xs-09-16-3-4-1-5.delta03.smt \
+#	aufbv-fuzz01.smt \
 #
 
 EXTRA_DIST = $(TESTS)