[Checkers] Compiler annotations output

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


Mahmood-

> 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.

                    -Mike



More information about the checkers mailing list