From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 13 Jun 2012 15:36:03 +0000 (+0000)
Subject: enable some decision regressions
X-Git-Tag: cvc5-1.0.0~8041
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=461acb36e53c8d3f59c7cdcf913e6fb92c58cb62;p=cvc5.git

enable some decision regressions
---

diff --git a/test/regress/regress0/decision/Makefile.am b/test/regress/regress0/decision/Makefile.am
index d65672dce..cce48c5a4 100644
--- a/test/regress/regress0/decision/Makefile.am
+++ b/test/regress/regress0/decision/Makefile.am
@@ -11,19 +11,19 @@ MAKEFLAGS = -k
 # If a test shouldn't be run in e.g. competition mode,
 # put it below in "TESTS +="
 TESTS =	\
+	wchains010ue.delta02.smt \
+	bitvec0.smt \
+	bitvec0.delta01.smt \
+	bitvec5.smt \
+	quant-Arrays_Q1-noinfer.smt2 \
+	uflia-error0.smt2 \
+	uflia-xs-09-16-3-4-1-5.smt \
 	bug347.smt
 
 # Incorrect answers:
 #	aufbv-fuzz01.smt \
-#	wchains010ue.delta02.smt \
-#	bitvec0.smt \
-#	bitvec0.delta01.smt \
-#	bitvec5.smt \
-#	quant-Arrays_Q1-noinfer.smt2 \
 #	quant-symmetric_unsat_7.smt2 \
-#	uflia-error0.smt2 \
 #	uflia-xs-09-16-3-4-1-5.delta03.smt \
-#	uflia-xs-09-16-3-4-1-5.smt \
 #
 
 EXTRA_DIST = $(TESTS)