From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Thu, 14 Jun 2012 19:54:25 +0000 (+0000)
Subject: enabling fixed bug345 case
X-Git-Tag: cvc5-1.0.0~8007
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2211b6969c43436eb25b003bbeae7494217777c8;p=cvc5.git

enabling fixed bug345 case
---

diff --git a/test/regress/regress0/decision/Makefile.am b/test/regress/regress0/decision/Makefile.am
index 70b47a3a9..b098476fc 100644
--- a/test/regress/regress0/decision/Makefile.am
+++ b/test/regress/regress0/decision/Makefile.am
@@ -22,6 +22,7 @@ TESTS =	\
 	uflia-error0.smt2 \
 	uflia-xs-09-16-3-4-1-5.smt \
 	uflia-xs-09-16-3-4-1-5.delta03.smt \
+	aufbv-fuzz01.smt \	
 	bug347.smt
 
 # Incorrect answers: