[Checkers] Checkers tests
mpapi at csail.mit.edu
Thu Apr 10 09:54:20 EDT 2008
"custom" is not needed and will be folded back into the framework tests shortly.
"flow" is incomplete -- there are many (general) flow tests in
NonNull's test suite that need to be moved there. (I should update the
Ant target now regardless.)
On Thu, Apr 10, 2008 at 4:53 AM, Michael Ernst <mernst at csail.mit.edu> wrote:
> Directory annotations/checkers/tests has subdirectories
> that do not seem to be used. In particular, I can't find an Ant target
> that runs these. Could whoever is responsible for them either remove them
> (possibly merging their functionality elsewhere) or else make it possible
> (and preferably the default!) to run them?
> checkers mailing list
> checkers at lists.csail.mit.edu
More information about the checkers