diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-26 20:52:37 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-26 20:52:37 +0000 |
commit | 2f70d96546d82e6beb1e4492bfee46c962d9cfe4 (patch) | |
tree | 70d151b39cb1f4b66624d915a0c162174b48c22e /test/unit/Makefile.am | |
parent | fa86342d9a0373287dcb164f7f9c15825f356542 (diff) |
Adding CnfStream unit tests
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 b3a8e12eb..e626da47b 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -11,6 +11,7 @@ UNIT_TESTS = \ expr/attribute_black \ expr/declaration_scope_black \ parser/parser_black \ + prop/cnf_stream_black \ context/context_black \ context/context_white \ context/context_mm_black \ |