[Checkers] Interned checker throws ClassCastException

Michael Ernst mernst at csail.mit.edu
Sat Mar 1 00:29:21 EST 2008


Matt-

> I believe we have fixed this (as of r1824). It was due to some of the 
> changes we'd made since this morning.

Thanks, I don't get this error any more.

(I do still have the infinite loop problem, as of r1826.  "kill -3" didn't
get me a stack trace, but let me know if you need more details.)

                     Thanks,

                    -Mike



More information about the checkers mailing list