[Checkers] error message throws exception
mahmood at MIT.EDU
Wed Aug 13 00:00:08 EDT 2008
> 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