diff options
Diffstat (limited to 'test/regress/regress0/sygus/Makefile.am')
| -rw-r--r-- | test/regress/regress0/sygus/Makefile.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/test/regress/regress0/sygus/Makefile.am b/test/regress/regress0/sygus/Makefile.am index dc721248c..9e7427eb0 100644 --- a/test/regress/regress0/sygus/Makefile.am +++ b/test/regress/regress0/sygus/Makefile.am @@ -71,15 +71,18 @@ TESTS = commutative.sy \ process-10-vars-2fun.sy \ inv-unused.sy \ ccp16.lus.sy \ - Base16_1.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 + 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) \ |