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

fixing issue Orphan NativePeer method with Java 11.0.20.1 #421 #431

Open adysinghh opened 5 months ago

adysinghh commented 5 months ago

fix #421

adysinghh commented 5 months ago

@cyrille-artho Hi, I had incorporated all the suggested changes

adysinghh commented 5 months ago

@cyrille-artho Thanks for the valuable feedback! I've incorporated the suggested changes, keeping modifications minimal. Retained necessary methods, removed extra spaces, and ensured consistent spacing.

Please review the changes.

cyrille-artho commented 5 months ago

Thanks for adding the code back. Please try to add it back in the same way it was before, as there are still two changes that merely reformat code, which is best avoided (an empty line at the beginning and reordered/reformatted methods at the end).

adysinghh commented 4 months ago

@cyrille-artho I had made the changes please review.