From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 30 Mar 2010 04:59:53 +0000 (+0000)
Subject: fixing mistaken commit to unit test Makefile.am which removed tests
X-Git-Tag: cvc5-1.0.0~9164
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=473e87a54cdcff5384ebf09dc433a4c2a0b30c8b;p=cvc5.git

fixing mistaken commit to unit test Makefile.am which removed tests
---

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index b80d3bea3..214f2ac58 100644
--- a/test/unit/Makefile.am
+++ b/test/unit/Makefile.am
@@ -15,7 +15,10 @@ UNIT_TESTS = \
 	theory/theory_uf_white \
 	util/assert_white \
 	util/configuration_white \
-	util/output_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