projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 972666e)
remove some array regressions from "make check" so nightly regressions run
authorMorgan Deters <mdeters@gmail.com>
Mon, 11 Jul 2011 23:14:25 +0000 (23:14 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 11 Jul 2011 23:14:25 +0000 (23:14 +0000)
test/regress/regress0/arrays/Makefile.am patch | blob | history

diff --git a/test/regress/regress0/arrays/Makefile.am b/test/regress/regress0/arrays/Makefile.am
index d5d12612f3e3a6c268273f1ea0ffdf570980f860..1eba56e33988b2eb60ab2535e95555cde9f80d43 100644 (file)
--- a/test/regress/regress0/arrays/Makefile.am
+++ b/test/regress/regress0/arrays/Makefile.am
@@ -21,12 +21,12 @@ TESTS =     \
        incorrect8.minimized.smt \
        incorrect9.smt \
        incorrect10.smt \
-       incorrect11.smt \
+       incorrect11.smt
+
+EXTRA_DIST = $(TESTS) \
        unsound1.smt \
        unsound1.minimized.smt
 
-EXTRA_DIST = $(TESTS)
-
 #if CVC4_BUILD_PROFILE_COMPETITION
 #else
 #TESTS += \