projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: dfb9870)
Enable some old bug testcases that (maybe?) never got added.
authorMorgan Deters <mdeters@cs.nyu.edu>
Sat, 4 Oct 2014 18:23:06 +0000 (14:23 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sat, 4 Oct 2014 18:23:17 +0000 (14:23 -0400)
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 8af912395be92356749748746cbe006e081173ba..067ecc08fa7a027b524c8a1360ad3242df47668d 100644 (file)
--- a/test/regress/regress0/arrays/Makefile.am
+++ b/test/regress/regress0/arrays/Makefile.am
@@ -40,6 +40,8 @@ TESTS =       \
        swap_t1_np_nf_ai_00005_007.cvc.smt \
        x2.smt \
        x3.smt \
+       bug272.smt \
+       bug272.minimized.smt \
        constarr.smt2 \
        constarr2.smt2 \
        constarr3.smt2 \
@@ -47,9 +49,7 @@ TESTS =       \
        constarr2.cvc \
        constarr3.cvc
 
-EXTRA_DIST = $(TESTS) \
-       bug272.smt \
-       bug272.minimized.smt
+EXTRA_DIST = $(TESTS)
 
 #if CVC4_BUILD_PROFILE_COMPETITION
 #else