[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