From b402d8442fbdb50920d8d12188afd0e3eaab74e7 Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Wed, 11 Jun 2014 14:47:13 -0400 Subject: [PATCH] disable another test, after recent merges taking too long --- test/regress/regress0/sets/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" -- 2.30.2