[Checkers] Ideas for reducing verbosity of annotations

Michael Ernst mernst at cs.washington.edu
Fri Jun 5 03:34:26 EDT 2009

It sounds like both Mahmood and Jeff agree with me that it's better and
clearer to have few defaulting mechanisms.  I had been wondering whether
the more aggressive defaulting (and thus fewer written annotations) would
be attractive to some people.  It sounds like we should wait to hear from
those people rather than implementing it speculatively.


More information about the checkers mailing list