From 461acb36e53c8d3f59c7cdcf913e6fb92c58cb62 Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Wed, 13 Jun 2012 15:36:03 +0000 Subject: [PATCH] enable some decision regressions --- test/regress/regress0/decision/Makefile.am | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) 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) -- 2.30.2