projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c2d88c4
)
auflia directory missing from regression summary - fixed
author
Clark Barrett
<barrett@cs.nyu.edu>
Mon, 29 Oct 2012 02:30:36 +0000
(
02:30
+0000)
committer
Clark Barrett
<barrett@cs.nyu.edu>
Mon, 29 Oct 2012 02:30:36 +0000
(
02:30
+0000)
test/Makefile.am
patch
|
blob
|
history
diff --git
a/test/Makefile.am
b/test/Makefile.am
index de8220064bacdf22a6a0767a9c07449a3d8b0415..f9f15035813cd25a8666ce0da894714f8b4add80 100644
(file)
--- a/
test/Makefile.am
+++ b/
test/Makefile.am
@@
-40,6
+40,7
@@
subdirs_to_check = \
regress/regress0/bv/core \
regress/regress0/arrays \
regress/regress0/aufbv \
+ regress/regress0/auflia \
regress/regress0/datatypes \
regress/regress0/quantifiers \
regress/regress0/rewriterules \