[Checkers] Arrays and checkers

Michael Ernst mernst at csail.mit.edu
Wed Mar 19 04:23:51 EDT 2008


When checking FreePastry code, I am suffering what look like false
positives due to use of arrays.  I think that you are in the middle of
improving the framework's handling of arrays, so I haven't checked in any
new failing test cases of my own.  Can you let me know the status of your
work, and whether those test cases would be useful to you?



More information about the checkers mailing list