projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4f438ad
)
Enabling the regression test: test/regress/regress0/unconstrained/mult1.smt2
author
Tim King
<taking@cs.nyu.edu>
Wed, 15 Apr 2015 19:34:37 +0000
(21:34 +0200)
committer
Tim King
<taking@cs.nyu.edu>
Wed, 15 Apr 2015 19:34:59 +0000
(21:34 +0200)
test/regress/regress0/unconstrained/Makefile.am
patch
|
blob
|
history
diff --git
a/test/regress/regress0/unconstrained/Makefile.am
b/test/regress/regress0/unconstrained/Makefile.am
index 4136566a07860a1dd290e09947cc2cc7d720fcf7..f79f68c769bae90f2d659a5ecb4dc8807dec7ed9 100644
(file)
--- a/
test/regress/regress0/unconstrained/Makefile.am
+++ b/
test/regress/regress0/unconstrained/Makefile.am
@@
-71,9
+71,8
@@
TESTS = \
lt.smt2 \
uf1.smt2 \
uf2.smt2 \
- xor.smt2
-
-# mult1.smt2
+ xor.smt2 \
+ mult1.smt2
EXTRA_DIST = $(TESTS)