C:\Users\Administrator\.jpf\site.properties ：The system could not find the specified path.

[Xintao-C]

I used the JPF Eclipse plugin to specify the location of site.properties before, but now the plugin is not maintained and there is no ". jpf "directory under the" C:\Users\Administrator "path, what should I do?

java.io.FileNotFoundException: C:\Users\Administrator.jpf\site.properties (The system could not find the specified path.)
at java.io.FileInputStream.open0(Native Method)
at java.io.FileInputStream.open(FileInputStream.java:195)
at java.io.FileInputStream.(FileInputStream.java:138)
at java.io.FileInputStream.(FileInputStream.java:93)
at edu.ucsb.cs.vlab.Z3.(Z3.java:16)

[shadowasphodel2919]

Try adding a \ after C:\Users\Administrator where you have specified the path, see if it solves the problem.

[Xintao-C]

Try adding a \ after C:\Users\Administrator where you have specified the path, see if it solves the problem.

I can't specify this path, 'C:\Users\Administrator**.jpf** ' is the default path for the site.properties configuration file , but there is no '.jpf 'directory on my system, as shown in the figure below.

[shadowasphodel2919]

Place the site.properties file you have created in the root directory where you have fetched the complete project and then specify that path in your plugin. I think this problem is arising because you are using Windows OS, and I do not think .jpf file is created in it.

[Xintao-C]

Thanks for your reply, but the plugin is not available now. I cannot specify the path through this plugin. Is there any other way to solve this problem?

…

---Original--- From: "Taha Jamal"<[email protected]&gt; Date: 2020/12/19 22:16:11 To: "javapathfinder/jpf-core"<[email protected]&gt;; Cc: "Xintao-C"<[email protected]&gt;;"Author"<[email protected]&gt;; Subject: Re: [javapathfinder/jpf-core] C:\Users\Administrator\.jpf\site.properties ：The system could not find the specified path. (#278) Place the site.properties file you have created in the root directory where you have fetched the complete project and then specify that path in your plugin. I think this problem is arising because you are using Windows OS, and I do not think .jpf file is created in it. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or unsubscribe.

[shadowasphodel2919]

You can run the project using command prompt, you wouldn't need a plugin that way. Just follow the directions given #274 (comment) here.