An error appears when running JPF from command : JPF configuration error: error in C:\jpf-core\jpf.properties : property file doe s not exist...

[naouar...@gmail.com]

Hi all ,

I try to check DiningPhil class from command using a *.jpf file. So, i creatad a text file (MiApp.jpf) with this information :
#--- what JPF should run
target= DiningPhil
target.args= 4
and i called JPF from command like this : C:\>jpf-core\bin\jpf C:\Documents and settings\Administrator\workspace\JpfTest\res\MiApp.jpf
then an error appears :

JPF configuration error: error in C:\jpf-core\jpf.properties : property file doe
s not exist: C:\\Settings\Administrator\workspace\JpfTest\res\MiApp.jpf
        at gov.nasa.jpf.Config.exception(Config.java:1098)
        at gov.nasa.jpf.Config.loadProperties(Config.java:425)
        at gov.nasa.jpf.Config.<init>(Config.java:218)
        at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:88)


What could be the problem ?
Thanks for your help!

[Ziyaulhaq Aliyu]

please can any one help me in creating a site.properties. where should i create the site.propertis. iam new to jpf

[PETER C MEHLITZ]

Two options for your site.properties location:
(1) in the directory hierarchy where your projects reside (I keep it in the parent directory of the project dirs)
(2) in {user.home}.jpf - you have to get the value of the {user.home} property from your Java installation, e.g. with "java -XshowSettings:properties"

You can also let jpf-core itself create the site.properties by running "bin/jpf -addproject"

Regarding your first question - if you call JPF from the command line with a pathname that contains spaces you have to escape them, otherwise the shell is treating your pathname as a collection of arguments.


-- Peter