[Checkers] Checkers tests

Michael Ernst mernst at csail.mit.edu
Thu Apr 10 04:53:48 EDT 2008

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?



More information about the checkers mailing list