diff options
Diffstat (limited to 'test/regress/regress1/fmf/Makefile.am')
| -rw-r--r-- | test/regress/regress1/fmf/Makefile.am | 41 |
1 files changed, 39 insertions, 2 deletions
diff --git a/test/regress/regress1/fmf/Makefile.am b/test/regress/regress1/fmf/Makefile.am index efaf535c6..dc07f6ca4 100644 --- a/test/regress/regress1/fmf/Makefile.am +++ b/test/regress/regress1/fmf/Makefile.am @@ -17,8 +17,45 @@ endif # If a test shouldn't be run in e.g. competition mode, # put it below in "TESTS +=" TESTS = \ - ForElimination-scala-9.smt2 \ - nunchaku2309663.nun.min.smt2 + agree466.smt2 \ + ALG008-1.smt2 \ + bug0909.smt2 \ + bug764.smt2 \ + datatypes-ufinite.smt2 \ + datatypes-ufinite-nested.smt2 \ + fc-pigeonhole19.smt2 \ + fib-core.smt2 \ + fmf-bound-2dim.smt2 \ + fmf-fun-no-elim-ext-arith2.smt2 \ + fmf-strange-bounds.smt2 \ + issue916-fmf-or.smt2 \ + jasmin-cdt-crash.smt2 \ + LeftistHeap.scala-8-ncm.smt2 \ + lst-no-self-rev-exp.smt2 \ + nun-0208-to.smt2 \ + pow2-bool.smt2 \ + with-ind-104-core.smt2 \ + agree467.smt2 \ + alg202+1.smt2 \ + am-bad-model.cvc \ + bound-int-alt.smt2 \ + bug651.smt2 \ + bug723-irrelevant-funs.smt2 \ + cons-sets-bounds.smt2 \ + constr-ground-to.smt2 \ + dt-proper-model.smt2 \ + fmf-bound-int.smt2 \ + fmf-fun-no-elim-ext-arith.smt2 \ + forall_unit_data.smt2 \ + fore19-exp2-core.smt2 \ + german169.smt2 \ + german73.smt2 \ + ko-bound-set.cvc \ + loopy_coda.smt2 \ + memory_model-R_cpp-dd.cvc \ + PUZ001+1.smt2 \ + refcount24.cvc.smt2 \ + sc-crash-052316.smt2 EXTRA_DIST = $(TESTS) |