test/regress/regress0/uf/Makefile.am

   1 TESTS_ENVIRONMENT = @srcdir@/../../run_regression @top_builddir@/src/main/cvc4
   2
   3 # These are run for all build profiles.
   4 # If a test shouldn't be run in e.g. competition mode,
   5 # put it below in "TESTS +="
   6 TESTS = \
   7         euf_simp01.smt \
   8         euf_simp02.smt \
   9         euf_simp03.smt \
  10         euf_simp04.smt \
  11         euf_simp05.smt \
  12         euf_simp06.smt \
  13         euf_simp08.smt \
  14         euf_simp09.smt \
  15         euf_simp10.smt \
  16         euf_simp11.smt \
  17         euf_simp12.smt \
  18         euf_simp13.smt \
  19         eq_diamond1.smt \
  20         eq_diamond14.reduced.smt \
  21         eq_diamond14.reduced2.smt \
  22         eq_diamond23.smt \
  23         NEQ016_size5_reduced2a.smt \
  24         NEQ016_size5_reduced2b.smt \
  25         dead_dnd002.smt \
  26         iso_brn001.smt \
  27         simple.01.cvc \
  28         simple.02.cvc \
  29         simple.03.cvc \
  30         simple.04.cvc
  31
  32 EXTRA_DIST = $(TESTS) \
  33         euf_simp09.tim.smt
  34
  35 #if CVC4_BUILD_PROFILE_COMPETITION
  36 #else
  37 #TESTS += \
  38 #       error.cvc
  39 #endif
  40 #
  41 # and make sure to distribute it
  42 #EXTRA_DIST += \
  43 #       error.cvc
  44
  45 # synonyms for "check" in this directory
  46 .PHONY: regress regress0 test
  47 regress regress0 test: check
  48
  49 # do nothing in this subdir
  50 .PHONY: regress1 regress2 regress3
  51 regress1 regress2 regress3: