[Checkers] No crash in Javari checker on Daikon

Mahmood Ali mahmood at MIT.EDU
Thu Sep 4 01:05:06 EDT 2008


Hi,

I guess Telmo would try to fix the errors.

In my experience, getting the default for type bounds to work in a  
backward compatible, yet useful, manner is not trivial.  It seems that  
all the errors are related to that.

Regards,
Mahmood




More information about the checkers mailing list