[Javapathfinder-devel] System oddities

[Cato P. <ca...@if...>]

Hey,

a couple oddities for the System class.

First of all, arrayCopy is not usable for me I'm afraid. JPF crashes 
ungracefully every time I try to use it when doing manipulations on the 
collections I'm implementing for the MJI level. As of now I have ad-hoc 
code to copy over the elements from one collection to another, I will 
mark out every place where this occur so it can be replaced with a 
proper arrayCopy call in the future.

Secondly, when calling System.out.println() on a HashMap collection, the 
print reveals key and value of every item, basically like this 'name of 
key' = 'content of value'. This is probably intentional, however my 2 
cents is that it should just reveal the value.

Back to work for me :-)

Best regards,
Cato