diff options
Diffstat (limited to 'test/regress/regress0/nl/Makefile.am')
-rw-r--r-- | test/regress/regress0/nl/Makefile.am | 49 |
1 files changed, 1 insertions, 48 deletions
diff --git a/test/regress/regress0/nl/Makefile.am b/test/regress/regress0/nl/Makefile.am index e770ca9ba..c10b65931 100644 --- a/test/regress/regress0/nl/Makefile.am +++ b/test/regress/regress0/nl/Makefile.am @@ -21,68 +21,21 @@ MAKEFLAGS = -k # If a test shouldn't be run in e.g. competition mode, # put it below in "TESTS +=" TESTS = \ - quant-nl.smt2 \ - dist-big.smt2 \ - simple-mono.smt2 \ coeff-sat.smt2 \ - combine.smt2 \ magnitude-wrong-1020-m.smt2 \ - nl-unk-quant.smt2 \ mult-po.smt2 \ very-simple-unsat.smt2 \ subs0-unsat-confirm.smt2 \ - simple-mono-unsat.smt2 \ - ones.smt2 \ - metitarski_3_4_2e.smt2 \ - metitarski-1025.smt2 \ - poly-1025.smt2 \ very-easy-sat.smt2 \ - coeff-unsat.smt2 \ - coeff-unsat-base.smt2 \ - red-exp.smt2 \ - zero-subset.smt2 \ nia-wrong-tl.smt2 \ - nl-help-unsat-quant.smt2 \ - metitarski-3-4.smt2 \ - rewriting-sums.smt2 \ - disj-eval.smt2 \ - bug698.smt2 \ real-div-ufnra.smt2 \ - div-mod-partial.smt2 \ - all-logic.smt2 \ - sqrt-problem-1.smt2 \ real-as-int.smt2 \ - nta/bad-050217.smt2 \ - nta/cos-bound.smt2 \ nta/cos-sig-value.smt2 \ - nta/exp_monotone.smt2 \ - nta/shifting2.smt2 \ - nta/shifting.smt2 \ - nta/sin-compare-across-phase.smt2 \ - nta/sin-compare.smt2 \ - nta/sin-sign.smt2 \ - nta/sin-sym2.smt2 \ nta/sin-sym.smt2 \ - nta/tan-rewrite2.smt2 \ nta/tan-rewrite.smt2 \ - nta/arrowsmith-050317.smt2 \ - nta/sin-init-tangents.smt2 \ - nta/cos1-tc.smt2 \ - nta/sin1-ub.smt2 \ - nta/sin1-lb.smt2 \ - nta/sin2-ub.smt2 \ - nta/sin2-lb.smt2 \ nta/exp1-ub.smt2 \ - nta/exp1-lb.smt2 \ - nta/exp-4.5-lt.smt2 \ nta/exp-n0.5-ub.smt2 \ - nta/exp-n0.5-lb.smt2 \ - nta/dumortier_llibre_artes_ex_5_13.transcendental.k2.smt2 \ - nta/NAVIGATION2.smt2 \ - nta/sin1-sat.smt2 \ - nta/sugar-ident.smt2 \ - nta/sugar-ident-2.smt2 \ - nta/sugar-ident-3.smt2 + nta/exp-n0.5-lb.smt2 # unsolved : garbage_collect.cvc |