This directory contains the (small and fast to run) Daikon unit tests.
Daikon also has a much more substantial set of regression tests; they
are located in the version control repository at daikon/tests/.
