Re: [Javapathfinder-user] Bug in JPF or in my code?????

[Jantien S. <jan...@gx...>]

Hi,

I'm using the same compiler from jdk 1.5.0_12. The map is the standard
Map interface from java.util and the HashMap implementation class.
I wrote some unit tests for JPF to see if Map is supported, and all unit
tests are passed, also the equal function seemed to work ok. I've put
the unit tests in the attachment of this mail.

Kind regards,
Jantien Sessink



-----Original Message-----
From: jav...@li...
[mailto:jav...@li...] On Behalf Of
Peter C. Mehlitz
Sent: Tuesday, October 09, 2007 8:44 PM
To: jav...@li...
Subject: Re: [Javapathfinder-user] Bug in JPF or in my code?????

what kind of map is this (HashMap, type parameters)? One thing could =20
be that the hashcode() or equals() implementation differs between our =20
lib model and the host VM.

-- Peter

------------------------------------------------------------------------
-
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems?  Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
_______________________________________________
Javapathfinder-user mailing list
Jav...@li...
https://lists.sourceforge.net/lists/listinfo/javapathfinder-user