From: Tim King <taking@cs.nyu.edu>
Date: Wed, 15 Apr 2015 19:34:37 +0000 (+0200)
Subject: Enabling the regression test: test/regress/regress0/unconstrained/mult1.smt2
X-Git-Tag: cvc5-1.0.0~6356
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=15d1cd77d1ab30bcbd2d89b77a3f2aab577b86cf;p=cvc5.git

Enabling the regression test: test/regress/regress0/unconstrained/mult1.smt2
---

diff --git a/test/regress/regress0/unconstrained/Makefile.am b/test/regress/regress0/unconstrained/Makefile.am
index 4136566a0..f79f68c76 100644
--- 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)