test/regress/regress0/sets/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) @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         jan24/insert_invariant_37_2.smt2 \
  23         jan24/deepmeas0.hs.fqout.cvc4.47.smt2 \
  24         jan24/deepmeas0.hs.fqout.small.smt2 \
  25         jan24/remove_check_free_31_6.smt2 \
  26         jan27/deepmeas0.hs.fqout.cvc4.41.smt2 \
  27         jan27/ListConcat.hs.fqout.cvc4.177.smt2 \
  28         jan27/ListConcat.hs.fqout.177minimized.smt2 \
  29         jan27/ListElem.hs.fqout.cvc4.38.smt2 \
  30         jan28/TalkingAboutSets.hs.fqout.3577minimized.smt2 \
  31         jan30/UniqueZipper.hs.fqout.minimized10.smt2 \
  32         jan30/UniqueZipper.hs.fqout.cvc4.10.smt2 \
  33         jan30/UniqueZipper.hs.fqout.minimized1832.smt2 \
  34         jan30/UniqueZipper.hs.fqout.cvc4.1832.smt2 \
  35         feb3/ListElts.hs.fqout.cvc4.317.smt2 \
  36         mar2014/lemmabug-ListElts317minimized.smt2 \
  37         mar2014/sharing-preregister.smt2 \
  38         mar2014/small.smt2 \
  39         mar2014/smaller.smt2 \
  40         mar2014/UniqueZipper.hs.1030minimized2.cvc4.smt2 \
  41         mar2014/UniqueZipper.hs.1030minimized.cvc4.smt2 \
  42         copy_check_heap_access_33_4.smt2 \
  43         cvc-sample.cvc \
  44         emptyset.smt2 \
  45         error1.smt2 \
  46         error2.smt2 \
  47         eqtest.smt2 \
  48         insert.smt2 \
  49         fuzz14418.smt2 \
  50         fuzz15201.smt2 \
  51         fuzz31811.smt2 \
  52         rec_copy_loop_check_heap_access_43_4.smt2 \
  53         sets-equal.smt2 \
  54         sets-inter.smt2 \
  55         sets-sample.smt2 \
  56         sets-sharing.smt2 \
  57         sets-testlemma.smt2 \
  58         sets-union.smt2 \
  59         sharingbug.smt2 \
  60         union-1a-flip.smt2 \
  61         union-1a.smt2 \
  62         union-1b-flip.smt2 \
  63         union-1b.smt2 \
  64         union-2.smt2 \
  65         dt-simp-mem.smt2 \
  66         card3-ground.smt2 \
  67         card-3sets.cvc \
  68         card.smt2 \
  69         card-2.smt2 \
  70         card-3.smt2 \
  71         card-4.smt2 \
  72         card-5.smt2 \
  73         card-6.smt2 \
  74         card-7.smt2 \
  75         abt-min.smt2 \
  76         abt-te-exh.smt2 \
  77         abt-te-exh2.smt2
  78
  79 EXTRA_DIST = $(TESTS)
  80
  81 #if CVC4_BUILD_PROFILE_COMPETITION
  82 #else
  83 #TESTS += \
  84 #       error.cvc
  85 #endif
  86
  87 # disabled tests, yet distribute
  88 EXTRA_DIST += \
  89         jan28/TalkingAboutSets.hs.fqout.cvc4.3577.smt2 \
  90         setofsets-disequal.smt2
  91
  92 # synonyms for "check"
  93 .PHONY: regress regress0 test
  94 regress regress0 test: check
  95
  96 # do nothing in this subdir
  97 .PHONY: regress1 regress2 regress3 regress4
  98 regress1 regress2 regress3 regress4: