The properties file could not be finded.

[Xintao-C]

The properties file could not be found.
Where can I find the properties file, which contains all the property descriptions?This helps me understand the role of attributes,such as"range.vars = 1"means what?
Please tell me ,thank you.

[cyrille-artho]

You can find information on this wiki page: https://github.com/javapathfinder/jpf-core/wiki/Creating-site-properties-file
Which page contained the (broken?) link you pointed out?

[Xintao-C]

Thank you. But I want to know about the Application properties file so that I can know how to set properties to verify the Application.
The wiki page:https://github.com/javapathfinder/jpf-core/wiki/Running-JPF,"Configuration files" linked to wiki home page instead of configuration files.
Can you tell me how to learn about the Applicaiton properties file or where can i find the overall properties explain. Thanks.

[cyrille-artho]

Thanks, I think I've found and fixed the broken link.
The properties themselves are used by about a dozen classes in jpf-core, so their use is very scattered:

$ find src/main/ -name '*.java' | xargs grep -l getProperty
src/main//gov/nasa/jpf/Config.java
src/main//gov/nasa/jpf/Error.java
src/main//gov/nasa/jpf/jvm/JVMSystemClassLoaderInfo.java
src/main//gov/nasa/jpf/listener/SimpleDot.java
src/main//gov/nasa/jpf/report/Reporter.java
src/main//gov/nasa/jpf/report/XMLPublisher.java
src/main//gov/nasa/jpf/tool/RunJPF.java
src/main//gov/nasa/jpf/util/FileUtils.java
src/main//gov/nasa/jpf/util/JPFSiteUtils.java
src/main//gov/nasa/jpf/util/test/JPF_gov_nasa_jpf_util_test_TestJPF.java
src/main//gov/nasa/jpf/util/test/TestJPF.java
src/main//gov/nasa/jpf/vm/ClassInfo.java
src/main//gov/nasa/jpf/vm/JPF_gov_nasa_jpf_vm_Verify.java
src/main//gov/nasa/jpf/vm/MultiProcessVM.java
src/main//gov/nasa/jpf/vm/SingleProcessVM.java
src/main//gov/nasa/jpf/vm/Verify.java

[Xintao-C]

Well, Please see following picture, the properties whthin Rang.jpf besides "target" "cg.enumerate_random" "lisetener", Where else is there? I want to know about others.
Are there complete documentation for using the properties?

[cyrille-artho]

The other properties are all set to the defaults.
The easiest way to see the defaults is not to look at the code, but to use
jpf -show
If you set new options on the command line, use
jpf +target=... +option1=... +option2=... -show
to see the impact of all the options applied before you view the current configuration.

[Xintao-C]

I understand.Thank you very much.

[cyrille-artho]

Do you have an idea of how this process could be made easier?
A suggestion for documentation? The output of the tool?

[Xintao-C]

The wiki page of configuration jpf maybe make users a little confused, i. e. people could not configure the application properties correctly to verify their applications for bugs.
It would be better to have a detailed property document to guide the user how to set it or to automatically prompt the user on output what other options should be set.