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.
527 stars 334 forks source link

Unsafe fixing new branch #446

Closed eklaDFF closed 5 months ago

eklaDFF commented 5 months ago

Fixed the Unsafe class

cyrille-artho commented 5 months ago

Can you please rebase your patch on javapathfinder:java-17? That will remove the ten commits that are already merged. I have now fixed the configuration issue in the workflow so the CI build will be attempted when you update the patch.

cyrille-artho commented 5 months ago

I'm sorry that it is a bit complicated to set up the process properly, but once we have this down, subsequent PRs are going to be much more efficient.