[Checkers] Testing Approach Proposal

Michael Ernst mernst at csail.mit.edu
Sun Apr 6 14:51:06 EDT 2008


Mahmood-

> I spent a couple of hours implementing  
> this proposal.  In the end, parsing the annotations from an expected  
> file was just as complex as reading it directly from the java source  
> file directly.  So I ended up implementing the variation.  The  
> documentation of how to use the tester is found in  
> checkers.util.test.FactoryTestChecker file.

OK, if the variation really wasn't any more work than the other proposal.
Thanks for doing this!

                    -Mike

PS:  Good luck on your mid-term!



More information about the checkers mailing list