diff options
Diffstat (limited to 'test/regress/regress0/fmf/Makefile.am')
| -rw-r--r-- | test/regress/regress0/fmf/Makefile.am | 40 |
1 files changed, 1 insertions, 39 deletions
diff --git a/test/regress/regress0/fmf/Makefile.am b/test/regress/regress0/fmf/Makefile.am index 122f9219b..297cdfaf3 100644 --- a/test/regress/regress0/fmf/Makefile.am +++ b/test/regress/regress0/fmf/Makefile.am @@ -20,65 +20,27 @@ MAKEFLAGS = -k # put it below in "TESTS +=" TESTS = \ array_card.smt2 \ - ALG008-1.smt2 \ - german169.smt2 \ QEpres-uf.855035.smt \ - agree467.smt2 \ Arrow_Order-smtlib.778341.smt \ - german73.smt2 \ - PUZ001+1.smt2 \ - refcount24.cvc.smt2 \ - fmf-bound-int.smt2 \ fc-simple.smt2 \ fc-unsat-tot-2.smt2 \ fc-unsat-pent.smt2 \ - fc-pigeonhole19.smt2 \ Hoare-z3.931718.smt \ - bug0909.smt2 \ - lst-no-self-rev-exp.smt2 \ - fib-core.smt2 \ - fore19-exp2-core.smt2 \ - with-ind-104-core.smt2 \ syn002-si-real-int.smt2 \ krs-sat.smt2 \ forall_unit_data2.smt2 \ sc_bad_model_1221.smt2 \ - dt-proper-model.smt2 \ - fd-false.smt2 \ + fd-false.smt2 \ tail_rec.smt2 \ - jasmin-cdt-crash.smt2 \ - loopy_coda.smt2 \ fmc_unsound_model.smt2 \ - am-bad-model.cvc \ - nun-0208-to.smt2 \ - datatypes-ufinite.smt2 \ - datatypes-ufinite-nested.smt2 \ - agree466.smt2 \ - LeftistHeap.scala-8-ncm.smt2 \ - sc-crash-052316.smt2 \ - bound-int-alt.smt2 \ - bug723-irrelevant-funs.smt2 \ bounded_sets.smt2 \ - fmf-strange-bounds.smt2 \ fmf-strange-bounds-2.smt2 \ - fmf-bound-2dim.smt2 \ - memory_model-R_cpp-dd.cvc \ - bug764.smt2 \ - ko-bound-set.cvc \ - cons-sets-bounds.smt2 \ - bug651.smt2 \ bug652.smt2 \ bug782.smt2 \ quant_real_univ.cvc \ - constr-ground-to.smt2 \ bug-041417-set-options.cvc \ - alg202+1.smt2 \ - fmf-fun-no-elim-ext-arith.smt2 \ - fmf-fun-no-elim-ext-arith2.smt2 \ cruanes-no-minimal-unk.smt2 \ no-minimal-sat.smt2 \ - issue916-fmf-or.smt2 \ - pow2-bool.smt2 \ sat-logic.smt2 EXTRA_DIST = $(TESTS) |