JPF Verification Exception

[Saeed Iqbal KhattaK]

Dear Fellows, 

I download and configure jpf-core, but when i click on "verify". It show me the below erorr:

Executing command: java -jar C:\Users\Saeed Iqbal\workspace\jpf\jpf-core\build\RunJPF.jar +shell.port=4242 C:\Users\Saeed Iqbal\workspace\jpf\jpf-core\src\examples\Racer.jpf 

java.lang.NullPointerException

at gov.nasa.jpf.jvm.DynamicElementInfo.setIntField(DynamicElementInfo.java:40)

at gov.nasa.jpf.jvm.ElementInfo.setIntField(ElementInfo.java:438)

at gov.nasa.jpf.jvm.DynamicArea.newString(DynamicArea.java:524)

at gov.nasa.jpf.jvm.JVM.createSystemThreadGroup(JVM.java:322)

at gov.nasa.jpf.jvm.JVM.createMainThread(JVM.java:292)

at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:257)

at gov.nasa.jpf.JPF.run(JPF.java:608)

at gov.nasa.jpf.JPF.main(JPF.java:154)

at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

at java.lang.reflect.Method.invoke(Unknown Source)

at gov.nasa.jpf.Main.main(Main.java:59)

how to resolve the above error.

thanks in advance

Best Regards

Saeed Iqbal

[Peter Mehlitz]

it appears you are using a mix of JPF versions - the current one doesn't use DynamicArea as the heap anymore, neither on the 'default' nor the 'v7-dev' branch. The line number for DynamicElementInfo.setIntField() also doesn't match

Run with -log -show to see what you are loading

-- Peter

> --
>
> ---
> 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/groups/opt_out.
>
>