projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4f438ad)
Enabling the regression test: test/regress/regress0/unconstrained/mult1.smt2
authorTim King <taking@cs.nyu.edu>
Wed, 15 Apr 2015 19:34:37 +0000 (21:34 +0200)
committerTim 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)