test/regress/regress0/strings/Makefile.am

   1 # don't override a BINARY imported from a personal.mk
   2 @mk_if@eq ($(BINARY),)
   3 @mk_empty@BINARY = cvc4
   4 end@mk_if@
   5
   6 LOG_COMPILER = @srcdir@/../../run_regression
   7 AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
   8
   9 if AUTOMAKE_1_11
  10 # old-style (pre-automake 1.12) test harness
  11 TESTS_ENVIRONMENT = \
  12   $(LOG_COMPILER) \
  13   $(AM_LOG_FLAGS) $(LOG_FLAGS)
  14 endif
  15
  16 MAKEFLAGS = -k
  17
  18 # These are run for all build profiles.
  19 # If a test shouldn't be run in e.g. competition mode,
  20 # put it below in "TESTS +="
  21 TESTS = \
  22   at001.smt2 \
  23   bug001.smt2 \
  24   bug002.smt2 \
  25   escchar.smt2 \
  26   escchar_25.smt2 \
  27   str001.smt2 \
  28   str002.smt2 \
  29   str003.smt2 \
  30   str004.smt2 \
  31   str005.smt2 \
  32   str006.smt2 \
  33   str007.smt2 \
  34   fmf002.smt2 \
  35   type001.smt2 \
  36   type003.smt2 \
  37   model001.smt2 \
  38   substr001.smt2 \
  39   regexp001.smt2 \
  40   regexp002.smt2 \
  41   regexp003.smt2 \
  42   leadingzero001.smt2 \
  43   loop001.smt2 \
  44   loop002.smt2 \
  45   loop003.smt2 \
  46   loop004.smt2 \
  47   loop005.smt2 \
  48   loop006.smt2 \
  49   loop007.smt2 \
  50   loop008.smt2 \
  51   loop009.smt2 \
  52   reloop.smt2 \
  53   unsound-0908.smt2 \
  54   ilc-like.smt2 \
  55   ilc-l-nt.smt2 \
  56   artemis-0512-nonterm.smt2 \
  57   indexof-sym-simp.smt2 \
  58   bug613.smt2 \
  59   idof-triv.smt2 \
  60   chapman150408.smt2 \
  61   pierre150331.smt2 \
  62   norn-360.smt2 \
  63   norn-simp-rew.smt2 \
  64   norn-simp-rew-sat.smt2 \
  65   idof-nconst-index.smt2 \
  66   idof-neg-index.smt2 \
  67   bug612.smt2 \
  68   bug615.smt2 \
  69   kaluza-fl.smt2 \
  70   idof-rewrites.smt2 \
  71   bug682.smt2 \
  72   bug686dd.smt2 \
  73   idof-handg.smt2 \
  74   fmf001.smt2 \
  75   type002.smt2 \
  76   crash-1019.smt2 \
  77   norn-31.smt2 \
  78   strings-native-simple.cvc \
  79   cmu-2db2-extf-reg.smt2 \
  80   norn-nel-bug-052116.smt2 \
  81   cmu-disagree-0707-dd.smt2 \
  82   cmu-5042-0707-2.smt2 \
  83   cmu-dis-0707-3.smt2 \
  84   nf-ff-contains-abs.smt2  \
  85   csp-prefix-exp-bug.smt2 \
  86   cmu-substr-rw.smt2
  87
  88 FAILING_TESTS =
  89
  90 EXTRA_DIST = $(TESTS)
  91
  92 # and make sure to distribute it
  93 EXTRA_DIST +=
  94
  95 #norn-dis-0707-3.smt2
  96 #norn-ab.smt2
  97
  98 # synonyms for "check"
  99 .PHONY: regress regress0 test
 100 regress regress0 test: check
 101
 102 # do nothing in this subdir
 103 .PHONY: regress1 regress2 regress3
 104 regress1 regress2 regress3: