search

javapathfinder / jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
517 stars 326 forks source link

for #439 #440

Closed Ayush-Thakur-geek closed 3 months ago

Ayush-Thakur-geek commented 3 months ago

Added a check for checking whether the object being compared is a string.

cyrille-artho commented 3 months ago

Hi, Your change makes eight unit tests fail. Can you please check? Try ./gradlew clean test.

Ayush-Thakur-geek commented 3 months ago

Actually I am not able to get the project properly setup in my machine and this is due to missing of some jdk.internal.misc. Could you please tell me how to resolve this.

cyrille-artho commented 3 months ago

You have to make sure that you use OpenJDK version 11. Older versions of Java don't have modules, and newer versions of Java have other incompatibilities. Oracle's JDK is also slightly different from OpenJDK.