test/regress/regress2/Makefile.am

   1 SUBDIRS = .
   2
   3 TESTS_ENVIRONMENT = @srcdir@/../run_regression @top_builddir@/src/main/cvc4
   4 MAKEFLAGS = -k
   5
   6 # These are run for all build profiles.
   7 # If a test shouldn't be run in e.g. competition mode,
   8 # put it below in "TESTS +="
   9 TESTS = bmc-galileo-8.smt \
  10         bmc-galileo-9.smt \
  11         bmc-ibm-10.smt \
  12         bmc-ibm-11.smt \
  13         bmc-ibm-12.smt \
  14         bmc-ibm-13.smt \
  15         bmc-ibm-1.smt \
  16         bmc-ibm-2.smt \
  17         bmc-ibm-3.smt \
  18         bmc-ibm-4.smt \
  19         bmc-ibm-5.smt \
  20         bmc-ibm-6.smt \
  21         bmc-ibm-7.smt \
  22         friedman_n6_i4.smt \
  23         hole9.cvc \
  24         qwh.35.405.shuffled-as.sat03-1651.smt \
  25         eq_diamond14.smt
  26
  27 EXTRA_DIST = $(TESTS)
  28
  29 #if CVC4_BUILD_PROFILE_COMPETITION
  30 #else
  31 #TESTS += \
  32 #       error.cvc
  33 #endif
  34 #
  35 # and make sure to distribute it
  36 #EXTRA_DIST += \
  37 #       error.cvc
  38
  39 # synonyms for "checK" in this directory
  40 .PHONY: regress regress2 test
  41 regress regress2 test: check
  42
  43 # do nothing in this subdir
  44 .PHONY: regress0 regress1 regress3
  45 regress0 regress1 regress3: