[Checkers] Javari Test cases
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.
More information about the checkers