diff options
-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 |