[Checkers] Checkers tests

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


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




More information about the checkers mailing list