add passing regression

diff --git a/test/regress/regress0/decision/Makefile.am b/test/regress/regress0/decision/Makefile.am
index cce48c5a413b6d4e9d55df17845faae368cbfdba..54273603e8747c41656ab4c52d803bc842d428c0 100644 (file)
--- 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)