search

SymbolicPathFinder / jpf-symbc

Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
124 stars 89 forks source link

Fail to run example from command line (on branch gradle-build) #91

Closed cervoliu closed 5 months ago

cervoliu commented 5 months ago

On branch gradle-build, I follow the guide in README.md to build both jpf-core and jpf-symbc.

The first 3 steps work well, but when I try the 4th step:

image

It reports that a .class file in jpf-core has the version 55.0 (correspond to java 11). I've checked the java version I use and the JAVA_HOME variable and I'm sure that I'm using java 8.

Could you check this? Thanks.

@gaurangkudale

cervoliu commented 5 months ago

My java version is openjdk version "1.8.0_402" and I'm using the gradlew provided instead of installing gradle.

cervoliu commented 5 months ago

Sorry, I clone the default branch jpf elsewhere and set site property file incorrectly. This is fixed by resetting the site.properties file.