[Checkers] Processing unknown annotations

Michael Ernst mernst at csail.mit.edu
Thu May 29 10:38:51 EDT 2008


Matt-

> > Here's another attempt at my reply to the query about processing unknown
> > annotations.  Is it right now?
> 
> It's right now.

Great.  Maybe some of it can be grist for a manual section.

Thanks for your help with this.

                    -Mike



More information about the checkers mailing list