[Checkers] Checkers tests
Matt Papi
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.)
- Matt
On Thu, Apr 10, 2008 at 4:53 AM, Michael Ernst <mernst at csail.mit.edu> wrote:
> Directory annotations/checkers/tests has subdirectories
> flow
> custom
> 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?
>
> Thanks,
>
> -Mike
>
>
> _______________________________________________
> checkers mailing list
> checkers at lists.csail.mit.edu
> https://lists.csail.mit.edu/mailman/listinfo/checkers
>
More information about the checkers
mailing list