[Checkers] Testing Approach Proposal

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


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


PS:  Good luck on your mid-term!

More information about the checkers mailing list