diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-03-30 08:22:06 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-03-30 08:22:06 +0000 |
commit | 09d8860f19b928114460386fa17847a8ffb02244 (patch) | |
tree | 72064c34a09c32b7d52a10c28c2684b28149c100 /test/unit/Makefile.am | |
parent | 473e87a54cdcff5384ebf09dc433a4c2a0b30c8b (diff) |
I think this finishes off the CDMap<>/Attribute leaks
Diffstat (limited to 'test/unit/Makefile.am')
-rw-r--r-- | test/unit/Makefile.am | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index 214f2ac58..122d92cae 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -10,15 +10,17 @@ UNIT_TESTS = \ parser/parser_black \ context/context_black \ context/context_mm_black \ + context/cdo_black \ context/cdlist_black \ + context/cdmap_black \ theory/theory_black \ 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 |