From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 30 Mar 2010 08:28:22 +0000 (+0000)
Subject: again, re-enabling integer/rational tests (though they still fail to compile on 32... 
X-Git-Tag: cvc5-1.0.0~9162
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8c87c05ac56a5f29b2ae1e658f2d7d3b7b588163;p=cvc5.git

again, re-enabling integer/rational tests (though they still fail to compile on 32-bit)
---

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index 122d92cae..3d9e65070 100644
--- a/test/unit/Makefile.am
+++ b/test/unit/Makefile.am
@@ -17,10 +17,10 @@ UNIT_TESTS = \
 	theory/theory_uf_white \
 	util/assert_white \
 	util/configuration_white \
-	util/output_white
-#	util/integer_black \
-#	util/integer_white \
-#	util/rational_white
+	util/output_white \
+	util/integer_black \
+	util/integer_white \
+	util/rational_white
 
 # Things that aren't tests but that tests rely on and need to
 # go into the distribution