[Checkers] error message throws exception

Mahmood Ali mahmood at MIT.EDU
Wed Aug 13 00:00:08 EDT 2008

Hi Mike,

> Also, please include in $anno/TODO.txt a reference to each bug  
> report that
> you submit.

We have submitted two bug reports earlier.  I will send this one maybe  
early next week, once I confirm the observation and create a  
minimalist annotation processor exposing the bug.

Maybe we should keep another file $anno/sun-bugs for the submitted  
bugs; and keep TODO.txt for our todos only.


More information about the checkers mailing list