1 files changed, 2 insertions, 66 deletions
diff --git a/test/regress/regress0/sygus/Makefile.am b/test/regress/regress0/sygus/Makefile.am
index 9e7427eb0..fef4546e9 100644
--- a/test/regress/regress0/sygus/Makefile.am
+++ b/test/regress/regress0/sygus/Makefile.am
@@ -18,90 +18,26 @@ MAKEFLAGS = -k
 # These are run for all build profiles.
 # If a test shouldn't be run in e.g. competition mode,
 # put it below in "TESTS +="
-TESTS = commutative.sy \
-        constant.sy \
-        multi-fun-polynomial2.sy \
-        unbdd_inv_gen_winf1.sy \
-        max.sy \
-        array_sum_2_5.sy \
+TESTS =	\
         parity-AIG-d0.sy \
-        twolets1.sy \
-        array_search_2.sy \
-        hd-01-d1-prog.sy \
-        icfp_28_10.sy \
         const-var-test.sy \
         no-syntax-test.sy \
-        no-flat-simp.sy \
-        twolets2-orig.sy \
         let-ringer.sy \
         let-simp.sy \
-        tl-type.sy \
-        dup-op.sy \
-        nflat-fwd.sy \
-        nflat-fwd-3.sy \
         no-syntax-test-bool.sy \
-        inv-example.sy \
         uminus_one.sy \
-        sygus-dt.sy \
         dt-no-syntax.sy \
-        list-head-x.sy \
-        clock-inc-tuple.sy \
-        dt-test-ns.sy \
-        no-mention.sy \
-        max2-univ.sy \
-        strings-small.sy \
         strings-unconstrained.sy \
-        tl-type-4x.sy \
-        tl-type-0.sy \
-        fg_polynomial3.sy \
-        icfp_14.12.sy \
-        strings-trivial-simp.sy \
-        icfp_easy-ite.sy \
-        strings-template-infer.sy \
-        strings-trivial.sy \
         General_plus10.sy \
-        qe.sy \
-        cggmp.sy \
         parse-bv-let.sy \
-        cegar1.sy \
-        triv-type-mismatch-si.sy \
-        nia-max-square-ns.sy \
-        strings-concat-3-args.sy \
-        process-10-vars.sy \
-        process-10-vars-2fun.sy \
-        inv-unused.sy \
         ccp16.lus.sy \
-        icfp_14.12-flip-args.sy \
-        strings-template-infer-unused.sy \
-        strings-trivial-two-type.sy \
-        strings-double-rec.sy \
-        hd-19-d1-prog-dup-op.sy \
-        real-grammar-neg.sy \
         real-si-all.sy  \
         c100.sy \
         check-generic-red.sy
 
-# disabled, takes too long with and without CBQI BV
-# Base16_1.sy
-
 # sygus tests currently taking too long for make regress
 EXTRA_DIST = $(TESTS) \
-  max.smt2 \
-  sygus-uf.sl \
-  enum-test.sy 
-  
-# strings-concat-3-args.sy
-
-#if CVC4_BUILD_PROFILE_COMPETITION
-#else
-#TESTS += \
-# error.cvc
-#endif
-
-# disabled tests, yet distribute
-#EXTRA_DIST += \
-# setofsets-disequal.smt2
-# no-syntax-test-no-si.sy
+  sygus-uf.sl
 
 # synonyms for "check"
 .PHONY: regress regress0 test