From 8c87c05ac56a5f29b2ae1e658f2d7d3b7b588163 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 30 Mar 2010 08:28:22 +0000 Subject: [PATCH] again, re-enabling integer/rational tests (though they still fail to compile on 32-bit) --- test/unit/Makefile.am | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 -- 2.30.2