RE: [Javapathfinder-devel] Junit test failures?

[Jean-Francois H. <hal...@sk...>]

BCEL 5.1, "standard" binary distribution.

JF
-----Original Message-----
From: Peter C. Mehlitz [mailto:pcm...@em...]
Sent: jeudi 28 avril 2005 21:09
To: <jav...@li...>
Cc: hal...@sk...
Subject: Re: [Javapathfinder-devel] Junit test failures?


Thanks. Yes, it's a known BCEL / Java 1.5 problem caused by a changed 
LDC_W bytecode spec (LDCs can now directly reference class constants):

java.lang.RuntimeException: Unknown or invalid constant type at 99
	at org.apache.bcel.generic.LDC.getType(LDC.java:148)
	at gov.nasa.jpf.jvm.bytecode.LDC_W.setPeer(LDC_W.java:47)
...

strange thing is that it should be fixed in the current BCEL version. 
Which one do you use?

-- Peter