From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 14 Jun 2012 09:50:14 +0000 (+0000)
Subject: add passing regression
X-Git-Tag: cvc5-1.0.0~8023
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=389863844682473d0b5b84b3a8288282909e15d2;p=cvc5.git

add passing regression
---

diff --git a/test/regress/regress0/decision/Makefile.am b/test/regress/regress0/decision/Makefile.am
index 54273603e..e443d7201 100644
--- a/test/regress/regress0/decision/Makefile.am
+++ b/test/regress/regress0/decision/Makefile.am
@@ -16,13 +16,13 @@ TESTS =	\
 	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.smt \
 	uflia-xs-09-16-3-4-1-5.delta03.smt \
 	bug347.smt
 
 # Incorrect answers:
-#	quant-symmetric_unsat_7.smt2 \
 #	aufbv-fuzz01.smt \
 #