diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-02-26 18:58:17 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-02-26 18:58:17 +0000 |
| commit | 3311e8276fb6221d9e100be2b1eec88d8f119fef (patch) | |
| tree | ef0ceebcd85b1153a25af7438c4bae96fe5aecb8 /test/unit/Makefile.am | |
| parent | 12cc3d32407cabbc8c3ed3d980199a020b61a883 (diff) | |
TheoryUFWhite tests are added. There are also accompanying bug fixes. These currently do not pass. (See bug 39.) I modified node.h/cpp to get gdb debug printing working again
Diffstat (limited to 'test/unit/Makefile.am')
| -rw-r--r-- | test/unit/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index 9fba9f7ff..5290381c3 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -7,6 +7,7 @@ UNIT_TESTS = \ parser/parser_black \ context/context_black \ context/context_mm_black \ + theory/theory_uf_white \ util/assert_white \ util/configuration_white \ util/output_white |