diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-12-18 18:23:18 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-12-18 18:23:18 +0000 |
| commit | 9697aa0761e798c95294bcaf291c648da0f1ba46 (patch) | |
| tree | 8f98ad1aa033d91c2613e9c61668b0f720db8f2f /test/unit/Makefile.am | |
| parent | 00dd2bdb8225db08746b80c97e0522fbf419943e (diff) | |
Updated parser tests, which are all kinds of FAIL
Diffstat (limited to 'test/unit/Makefile.am')
| -rw-r--r-- | test/unit/Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index f05a74bcf..df85ba805 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -2,8 +2,7 @@ UNIT_TESTS = \ expr/node_white \ expr/node_black \ - parser/cvc/cvc_parser_black \ - parser/smt/smt_parser_black + parser/parser_black # things that aren't tests but that tests rely on and need to # go into the distribution |