-
Notifications
You must be signed in to change notification settings - Fork 337
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The properties file could not be finded. #213
Comments
You can find information on this wiki page: https://github.com/javapathfinder/jpf-core/wiki/Creating-site-properties-file |
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. |
Thanks, I think I've found and fixed the broken link.
|
The other properties are all set to the defaults. |
I understand.Thank you very much. |
Do you have an idea of how this process could be made easier? |
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. |
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.
The text was updated successfully, but these errors were encountered: