Re: [Javapathfinder-devel] Junit test failures?

[Peter C. M. <pcm...@em...>]

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