[Checkers] Compiler annotations output

Michael Ernst mernst at csail.mit.edu
Wed Jul 2 10:01:25 EDT 2008


> For some reason, now section 4.1 makes a bit of sense for me ...

Great.  If you have suggestions regarding how it could be further improved
(or whether some commentary elsewhere in the document would be useful),
please let me know.


More information about the checkers mailing list