[Checkers] No crash in Javari checker on Daikon
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...
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