test/regress/regress0/nl/Makefile.am

   1 SUBDIRS = .
   2
   3 # don't override a BINARY imported from a personal.mk
   4 @mk_if@eq ($(BINARY),)
   5 @mk_empty@BINARY = cvc4
   6 end@mk_if@
   7
   8 LOG_COMPILER = @srcdir@/../../run_regression
   9 AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
  10
  11 if AUTOMAKE_1_11
  12 # old-style (pre-automake 1.12) test harness
  13 TESTS_ENVIRONMENT = \
  14         $(LOG_COMPILER) \
  15         $(AM_LOG_FLAGS) $(LOG_FLAGS)
  16 endif
  17
  18 MAKEFLAGS = -k
  19
  20 # These are run for all build profiles.
  21 # If a test shouldn't be run in e.g. competition mode,
  22 # put it below in "TESTS +="
  23 TESTS = \
  24   quant-nl.smt2 \
  25   dist-big.smt2 \
  26   simple-mono.smt2 \
  27   coeff-sat.smt2 \
  28   combine.smt2 \
  29   magnitude-wrong-1020-m.smt2 \
  30   nl-unk-quant.smt2 \
  31   mult-po.smt2 \
  32   very-simple-unsat.smt2 \
  33   subs0-unsat-confirm.smt2 \
  34   simple-mono-unsat.smt2 \
  35   ones.smt2 \
  36   metitarski_3_4_2e.smt2 \
  37   metitarski-1025.smt2 \
  38   poly-1025.smt2 \
  39   very-easy-sat.smt2 \
  40   coeff-unsat.smt2 \
  41   coeff-unsat-base.smt2 \
  42   red-exp.smt2 \
  43   zero-subset.smt2 \
  44   nia-wrong-tl.smt2 \
  45   nl-help-unsat-quant.smt2 \
  46   metitarski-3-4.smt2 \
  47   rewriting-sums.smt2 \
  48   disj-eval.smt2 \
  49   bug698.smt2  \
  50   real-div-ufnra.smt2 \
  51   div-mod-partial.smt2
  52
  53 # unsolved : garbage_collect.cvc
  54
  55 EXTRA_DIST = $(TESTS)
  56
  57 # synonyms for "check"
  58 .PHONY: regress regress0 test
  59 regress regress0 test: check
  60
  61 # do nothing in this subdir
  62 .PHONY: regress1 regress2 regress3 regress4
  63 regress1 regress2 regress3 regress4: