[Checkers] No crash in Javari checker on Daikon

Michael Ernst mernst at csail.mit.edu
Wed Sep 3 04:29:50 EDT 2008

Telmo and Mahmood-

Sorry for the false alarm, I wasn't using an up-to-date version of the
Checker Framework.  After updating, I don't get any crashes, but I do get
errors.  Please see the attached.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: javari-on-daikon-output.txt
Type: application/octet-stream
Size: 26823 bytes
Desc: not available
Url : https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080903/b063a2f4/attachment-0001.obj 

More information about the checkers mailing list