diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-11 14:47:13 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-11 14:47:13 -0400 |
| commit | b402d8442fbdb50920d8d12188afd0e3eaab74e7 (patch) | |
| tree | d62a2b4859a72026f366fbb931358a0647f88c82 /test | |
| parent | 5c6ff89fcf42a163a8a8c96d070d30bcc7c86593 (diff) | |
disable another test, after recent merges taking too long
Diffstat (limited to 'test')
| -rw-r--r-- | test/regress/regress0/sets/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/sets/Makefile.am b/test/regress/regress0/sets/Makefile.am index 0fd1f05f4..ccedc7596 100644 --- a/test/regress/regress0/sets/Makefile.am +++ b/test/regress/regress0/sets/Makefile.am @@ -27,7 +27,6 @@ TESTS = \ jan27/ListConcat.hs.fqout.cvc4.177.smt2 \ jan27/ListConcat.hs.fqout.177minimized.smt2 \ jan27/ListElem.hs.fqout.cvc4.38.smt2 \ - jan28/TalkingAboutSets.hs.fqout.cvc4.3577.smt2 \ jan28/TalkingAboutSets.hs.fqout.3577minimized.smt2 \ jan30/UniqueZipper.hs.fqout.minimized10.smt2 \ jan30/UniqueZipper.hs.fqout.cvc4.10.smt2 \ @@ -73,6 +72,7 @@ EXTRA_DIST = $(TESTS) # disabled tests, yet distribute EXTRA_DIST += \ + jan28/TalkingAboutSets.hs.fqout.cvc4.3577.smt2 \ setofsets-disequal.smt2 # synonyms for "check" |