Re: [Javapathfinder-user] I can't execute JPF

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

that is the Java 1.5/BCEL issue mentioned in some of the forum/bug 
messages a while ago - the official BCEL 5.1 release is not Java 1.5 
compatible. If you use the bcel CVS version (or the lib that is 
provided with JPF), this should not happen, but there are still some 
other Java 1.5 issues left. Consider Java 1.5 to be not supported for 
now (this will be resolved soon, with the advent of Java 1.5 on OS X)

-- Peter


On Jul 13, 2005, at 12:45 AM, Taehoon, Lee wrote:

>
> I'can't execute JPF
> why I can't execute JPF ??
>
>
> ~/sw/javapathfinder/examples$ java gov.nasa.jpf.JPF Helloworld
> Java Pathfinder Model Checker v3.1.2 - (C) 1999-2004 RIACS/NASA Ames
> Research Center
> java.lang.RuntimeException: Unknown or invalid constant type at 364
> at org.apache.bcel.generic.LDC.getType(LDC.java:148)
> at gov.nasa.jpf.jvm.bytecode.LDC_W.setPeer(LDC_W.java:47)
> at gov.nasa.jpf.jvm.bytecode.Instruction.init(Instruction.java:194)
> at gov.nasa.jpf.jvm.bytecode.Instruction.create(Instruction.java:145)
> at gov.nasa.jpf.jvm.MethodInfo.loadCode(MethodInfo.java:623)
> at gov.nasa.jpf.jvm.MethodInfo.<init>(MethodInfo.java:183)
> at gov.nasa.jpf.jvm.MethodInfo.newInstance(MethodInfo.java:257)
> at gov.nasa.jpf.jvm.ClassInfo.loadMethods(ClassInfo.java:1167)
> at gov.nasa.jpf.jvm.ClassInfo.<init>(ClassInfo.java:252)
> at gov.nasa.jpf.jvm.ClassInfo.getClassInfo(ClassInfo.java:349)
> at gov.nasa.jpf.jvm.JVM.loadStartupClasses(JVM.java:1269)
> at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:279)
> at gov.nasa.jpf.JPF.run(JPF.java:248)
> at gov.nasa.jpf.JPF.main(JPF.java:198)
> java.lang.StringIndexOutOfBoundsException: String index out of range: 
> -3
> at java.lang.String.substring(String.java:1768)
> at java.lang.String.substring(String.java:1735)
> at gov.nasa.jpf.jvm.bytecode.Instruction.create(Instruction.java:155)
> at gov.nasa.jpf.jvm.MethodInfo.loadCode(MethodInfo.java:623)
> at gov.nasa.jpf.jvm.MethodInfo.<init>(MethodInfo.java:183)
> at gov.nasa.jpf.jvm.MethodInfo.newInstance(MethodInfo.java:257)
> at gov.nasa.jpf.jvm.ClassInfo.loadMethods(ClassInfo.java:1167)
> at gov.nasa.jpf.jvm.ClassInfo.<init>(ClassInfo.java:252)
> at gov.nasa.jpf.jvm.ClassInfo.getClassInfo(ClassInfo.java:349)
> at gov.nasa.jpf.jvm.JVM.loadStartupClasses(JVM.java:1269)
> at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:279)
> at gov.nasa.jpf.JPF.run(JPF.java:248)
> at gov.nasa.jpf.JPF.main(JPF.java:198)
>
>
> -------------------------------------------------------
> This SF.Net email is sponsored by the 'Do More With Dual!' webinar 
> happening
> July 14 at 8am PDT/11am EDT. We invite you to explore the latest in 
> dual
> core and dual graphics technology at this free one hour event hosted 
> by HP,
> AMD, and NVIDIA.  To register visit http://www.hp.com/go/dualwebinar
> _______________________________________________
> Javapathfinder-user mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user
>