--
---
You received this message because you are subscribed to the Google Groups "Java™ Pathfinder" group.
To unsubscribe from this group and stop receiving emails from it, send an email to java-pathfind...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
/home/gvidal/jpf
/home/gvidal/jpf/jpf-core
/home/gvidal/jpf/jpf-symbc
/home/gvidal/jpf/jpf-shell
and this are the contents of /home/gvidal/.jpf/site.properties:
# JPF site configuration
jpf-core=/home/gvidal/jpf/jpf-core
# symbolic extension
jpf-symbc=/home/gvidal/jpf/jpf-symbc
# shell
jpf-shell=/home/gvidal/jpf/jpf-shell
extensions=${jpf-core},${jpf-symbc}
which should be ok. I even tried deleting the site.properties file (since, according to the build.xml file, the default directory is "../jpf-core", which is right), but it didn't work either.
What puzzles me is that I'm having the same issue in both my laptop (Mac OS Mavericks) and an old linux server (running Red Hat). In either case I get the same errors. For some reason, it can't find the jpf-core classes when compiling either jpf-symbc or jpf-shell. E.g., the first error in my previous post referred to ListernerAdapter, which is here:
/home/gvidal/jpf/jpf-core/build/main/gov/nasa/jpf/ListenerAdapter.class
(where it should be). So I agree, it seems it is classpath problem, but I have no idea where the problem is. Any further suggestion will be welcome!
German
annotations
classes
classloader_specific_tests.jar
examples
jpf-annotations.jar
jpf-classes.jar
jpf.jar
main
peers
RunJPF.jar
RunTest.jar
tests
German
@@@@ key=vm.attributors
[SEVERE] JPF configuration error: error instantiating class gov.nasa.jpf.jvm.JVMSystemClassLoaderInfo for entry "vm.classloader.class":
> exception in gov.nasa.jpf.jvm.JVMSystemClassLoaderInfo(gov.nasa.jpf.vm.VM,int):
>> java.lang.NullPointerException
> used within "vm.class" instantiation of class gov.nasa.jpf.vm.SingleProcessVM
[SEVERE] JPF terminated
Perhaps the compilation process was not fine after all? How could I check it?
[javac] /home/gvidal/jpf/jpf-symbc/src/main/gov/nasa/jpf/symbc/SymbolicListener.java:41: error: cannot find symbol
[javac] import gov.nasa.jpf.jvm.bytecode.InvokeInstruction;
And I've looked for InvokeInstruction, and it's in a different location:
/home/gvidal/jpf/jpf-core/build/main/gov/nasa/jpf/vm/bytecode/InvokeInstruction.class
(so the correct import would be import gov.nasa.jpf.jpf.vm.bytecode.InvokeInstruction; )
So it seems to me that the files in the jpf-symbc project are not compatible with the last version of jpf-core after all...
German