[Checkers] Javari Test cases

Telmo telmo at MIT.EDU
Thu Jun 19 16:23:46 EDT 2008


there was an issue with primitive arrays not being properly annotated, and 
an issue with boxing if the variable, and not the value, was a primitive 
type. Both have been fixed.

The last remaining error, "testEvilRaw()", is on a very accurately named 
method. What should I use on the framework to get the information that a 
List actually takes a parameter type, so I can take the type the List to 
be List<Object> (and annotated into @Mutable List<@Mutable Object>) 
instead of List (and annotated into @Mutable List)?


On Thu, 19 Jun 2008, Mahmood Ali wrote:

> Hi Telmo and others,
> I just checked in a couple of failing test cases for Javari.  Please try to 
> fix them by the next release (tomorrow?), otherwise comment them out.  I 
> assume that they will show up a lot in your case studies.
> Just as a reminder, annotations/TODO.txt contains the short-term goals and 
> todo items for the team.  Please update it from time to time with your 
> status.  There are two items for you, I believe.
> Regards,
> Mahmood

More information about the checkers mailing list