[Checkers] Interning checker crashes on Daikon

Mahmood Ali mahmood at MIT.EDU
Sat Aug 23 06:49:34 EDT 2008

Hi Mike,

> If you run "make check-interning" in $inv/java, the checker  
> crashes.  See
> below.

This has been taken care of.  Also, now unexpected errors report the  
name of the checker and the name of the input file causing the  
exception; hopefully, this would ease hunting down the bug.


More information about the checkers mailing list