[Checkers] error message throws exception

Michael Ernst mernst at csail.mit.edu
Wed Aug 13 00:06:37 EDT 2008


Mahmood-

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

That's OK with me, too.  I suggested putting them in one place to avoid
having too many files, because there will be little clutter in our todo
file (just a reference to a URL that should contain all the real
information), and because there is a todo for us (to ping Sun periodically
if the bug has not been fixed yet).

                    -Mike



More information about the checkers mailing list