diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-03-30 08:28:22 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-03-30 08:28:22 +0000 |
| commit | 8c87c05ac56a5f29b2ae1e658f2d7d3b7b588163 (patch) | |
| tree | 674d85b15404f301bfcdadba8b651e62d687c390 | |
| parent | 09d8860f19b928114460386fa17847a8ffb02244 (diff) | |
again, re-enabling integer/rational tests (though they still fail to compile on 32-bit)
| -rw-r--r-- | test/unit/Makefile.am | 8 |
1 files 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 |