Re: [Javapathfinder-user] Test gov.nasa.jpf.jvm.TestAssertJPF FAILED

[John M. <jo...@cs...>]

Thanks to everyone who helped me getting Javapathfinder installed for
the first time on Linux; it works fine with:

$ ls
HelloWorld.class HelloWorld.java
$ jpf HelloWorld
... sensible output

One minor comment, though; if I try this instead, I see:

$ jpf HelloWorld.class
[SEVERE] JPF exception, terminating: could not load class
HelloWorld.class
gov.nasa.jpf.JPFException: could not load class HelloWorld.class
        at gov.nasa.jpf.jvm.ClassInfo.getClassInfo(ClassInfo.java:408)
        at gov.nasa.jpf.jvm.JVM.registerStartupClasses(JVM.java:333)
        at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:214)
        at gov.nasa.jpf.JPF.run(JPF.java:367)
        at gov.nasa.jpf.JPF.main(JPF.java:299)
$

A less confusing error message would be welcomed.

John A. Murdie
Department of Computer Science
University of York
UK