diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-13 15:36:03 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-13 15:36:03 +0000 |
| commit | 461acb36e53c8d3f59c7cdcf913e6fb92c58cb62 (patch) | |
| tree | 5ce91d94560268fb8349f251f3402aa887e19b0c /test | |
| parent | 846de1aa9b4a34d1af657dc43cf22641abb06f2e (diff) | |
enable some decision regressions
Diffstat (limited to 'test')
| -rw-r--r-- | test/regress/regress0/decision/Makefile.am | 14 |
1 files 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) |