[Javapathfinder-user] JPF Symbolic execution extension

[Francesco V. <Fra...@ce...>]

Hello,=20
I'm starting to use JPF and I would really like to try the symbolic =
execution extension that comes in the symbc folder. I compiled it and I =
changed the default.properties file in order to use the =
gov.nasa.jpf.symbc.SymbolicInstructionFactory class as instruction =
factory, anyway when I run JPF I get the following error:=20
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D search started: 19/11/07=20
19.38=20
[SEVERE] JPF exception, terminating: class =
java.lang.NullPointerException: null=20
=20
=20
I couldn't find any tutorial on how exactly to use this extension. Can =
anyone give me some help?? =20
=20
Many Thanks,=20
=20
F. Valentini.=20