[Checkers] Universe Type System Checker
mahmood at MIT.EDU
Tue Dec 2 20:12:32 EST 2008
I have looked at the reported you mentioned and have been able to fix
some of them.
> * Problem with generic inner classes
> * isValidUse() and return types of methods
Both of these are actual bugs. Thanks for catching them. The fix
will be included in this Friday's release. For the time being, you
can test the fix at http://people.csail.mit.edu/mali/jsr308 .
> * Problems executing the tests with version 0.8.2 on Windows
> I couldn't manage to run more than 1 test case with the framework
> version 0.8.1 and 0.8.2. For example in BasicTest.java only
> testSimple() executed fine. testPoly() aborted with an error. If I
> commented out testSimple(), testPoly() would run just fine. Maybe
> you can give me a hint. There are no problems with version 0.8.0.
Can you please provide the error message that you get with 0.8.2?
More information about the checkers