projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 31e1f34)
don't run rewriterules regressions by default; fixes needed
authorMorgan Deters <mdeters@gmail.com>
Thu, 14 Jun 2012 18:59:18 +0000 (18:59 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 14 Jun 2012 18:59:18 +0000 (18:59 +0000)
test/regress/regress0/Makefile.am patch | blob | history

diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 789f0762e05262c1808c97b532ec2af95967bd5a..a1d960079f77ec66d7b4414a1a071f67ee84fb6f 100644 (file)
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -1,4 +1,5 @@
-SUBDIRS = . arith precedence uf uflra uflia bv arrays aufbv auflia datatypes quantifiers rewriterules lemmas push-pop preprocess unconstrained decision
+SUBDIRS = . arith precedence uf uflra uflia bv arrays aufbv auflia datatypes quantifiers lemmas push-pop preprocess unconstrained decision
+DIST_SUBDIRS = . arith precedence uf uflra uflia bv arrays aufbv auflia datatypes quantifiers rewriterules lemmas push-pop preprocess unconstrained decision
 
 BINARY = cvc4
 if PROOF_REGRESSIONS