projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1467abb
)
Disable failing datatypes regression, pending solution to bug #370.
author
Morgan Deters
<mdeters@gmail.com>
Sun, 5 Aug 2012 04:41:04 +0000
(
04:41
+0000)
committer
Morgan Deters
<mdeters@gmail.com>
Sun, 5 Aug 2012 04:41:04 +0000
(
04:41
+0000)
test/regress/regress0/datatypes/Makefile.am
patch
|
blob
|
history
diff --git
a/test/regress/regress0/datatypes/Makefile.am
b/test/regress/regress0/datatypes/Makefile.am
index f3ea1171d1b42cbe498f198dae943d29dc097dba..d226799171095d62b8ff57c6a183f5438ce1aa0a 100644
(file)
--- a/
test/regress/regress0/datatypes/Makefile.am
+++ b/
test/regress/regress0/datatypes/Makefile.am
@@
-15,7
+15,7
@@
MAKEFLAGS = -k
TESTS = \
tuple.cvc \
rec1.cvc \
- rec
2
.cvc \
+ rec
4
.cvc \
datatype.cvc \
datatype0.cvc \
datatype1.cvc \
@@
-39,7
+39,9
@@
TESTS = \
bug286.cvc \
wrong-sel-simp.cvc
-FAILING_TESTS = rec5.cvc
+FAILING_TESTS = \
+ rec2.cvc \
+ rec5.cvc
EXTRA_DIST = $(TESTS)
@@
-52,7
+54,7
@@
endif
# and make sure to distribute it
EXTRA_DIST += \
error.cvc \
- rec4.cvc
+ $(FAILING_TESTS)
# synonyms for "check"
.PHONY: regress regress0 test