JPF installation

[Vaibhav Singhal]

Respected mentors,

As I previously mentioned a doubt regarding installing the JPF, this time I tried to install it using the below mentioned way:

file > new project > get from VCS > i pasted the git link for the cloned repository, and it successfully got installed i guess.

But while building the project, I am facing the below-mentioned error:

(screenshot(189).png)

In order to remove the issue, I updated the libraries imported as seen in lines 23,24.

But now, 

the issue I am facing is:

error: cannot find symbol

    StackTraceElement e = JLA.getStackTraceElement(throwable, 4); // see note below regarding fixed call depth fragility

                             ^

  symbol:   method getStackTraceElement(Throwable,int)

  location: variable JLA of type JavaLangAccess

Please guide me on this one.

Regards,

Vaibhav

[Cyrille Artho]

This is probably an issue with the Java version you are using.

The `master` branch requires Java 8 (Oracle JDK or OpenJDK), while branch `java-10-gradle` requires Java 10 or 11.

[hritik Singh]

sir, i have installed and build jpf-core and it is working fine while i do the model checking by using junit . but not working with the command line, you can see the error in the image that i have attached.

thanks in advance

--

---
You received this message because you are subscribed to a topic in the Google Groups "Java™ Pathfinder" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/java-pathfinder/n17pPqTLeDY/unsubscribe.
To unsubscribe from this group and all its topics, send an email to java-pathfind...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/java-pathfinder/cf76a7fa-53c7-4c12-be3c-9425b468453en%40googlegroups.com.

[Cyrille Artho]

RunJPF is not the complete Java Pathfinder tool, it is just a wrapper that loads JPF. What happens is that JPF cannot be found. Normally, this works without having to set the CLASSPATH, but you probably need to set JPF_HOME to help RunJPF.jar find the remaining files.

JPF_HOME should be the directory of the git repository (e.g., ~/jpf/jpf-core).

[Vaibhav Singhal]

I have done the same, still it shows the same error, though if I test for some general Java program, it works fine.

[mmuesly]

Hi Vaibhav,

I tried to reproduce your problem, but the first I noted is that the file name you try does not exist: `src/examples/racer.jpf`. Nevertheless, there is https://github.com/javapathfinder/jpf-core/blob/master/src/examples/Racer.jpf.

Please make sure, your 

jpf-core does ship with some scripts for running jpf from the command line in the bin folder. Depending on your operation system, you should be able to do the following in an empty folder on Linux:

git clone https://github.com/javapathfinder/jpf-core

cd jpf-core

./gradlew build

./bin/jpf src/examples/Racer.jpf

The output should look like:

JavaPathfinder core system v8.0 (rev 7e63ebf36369f63a1ddfac7374e7defeb948c8fe) - (C) 2005-2014 United States Government. All rights reserved.

====================================================== system under test

Racer.main()

In the build folder, there should be the following jars after a successful build:

build/asm-7.1.jar

build/classloader_specific_tests.jar

build/jpf-annotations.jar

build/jpf-classes.jar

build/jpf.jar

build/RunJPF.jar 

 build/RunTest.jar

On windows there is: ./bin/jpf.bat, but it has been some time since I have run jpf-core on a windows machine. As there are some errors in the tests on Windows in the current master branch, I have no idea, whether JPF is going to run smoothly on Windows in its current state, if you skip the tests during build.

From the screenshots, I have seen your are running MinGW64. Eventually, if your are running a recent Windows 10, you might switch to the Ubuntu WSL (https://ubuntu.com/tutorials/ubuntu-on-windows#1-overview). This gives you a real Ubuntu experience and from my experience often less problems than MinGW. 

Best,

Malte

[Vaibhav Singhal]

Ohh, I got it. I switched back to Linux for now. Thanks a lot, Malte.

Regards,
Vaibhav Singhal
iamv...@gmail.com
LinkedIn . Github

Sender notified by Mailtrack 04/09/21, 07:07:47 PM

To view this discussion on the web visit https://groups.google.com/d/msgid/java-pathfinder/1ea2da32-b273-48a6-836b-4bbe4e3b2c50n%40googlegroups.com.

[mmuesly]

Hi all,

good to hear that it works for you know now Vaibhav. Sorry, I have not realized that there have been two persons asking questions in the same e-mail thread regarding two different installation environments.

I hope my answer might help hriti as well, as it was tailored more to his case.

Best,

Malte