projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 95983dc)
forgot to reflect naming change in makefile. fixed
authorMorgan Deters <mdeters@gmail.com>
Tue, 12 Jul 2011 22:46:57 +0000 (22:46 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 12 Jul 2011 22:46:57 +0000 (22:46 +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 1eba56e33988b2eb60ab2535e95555cde9f80d43..db786040e98b7c105c6c9141f0c7fbffdf4fcb02 100644 (file)
--- a/test/regress/regress0/arrays/Makefile.am
+++ b/test/regress/regress0/arrays/Makefile.am
@@ -24,8 +24,8 @@ TESTS =       \
        incorrect11.smt
 
 EXTRA_DIST = $(TESTS) \
-       unsound1.smt \
-       unsound1.minimized.smt
+       bug272.smt \
+       bug272.minimized.smt
 
 #if CVC4_BUILD_PROFILE_COMPETITION
 #else