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

Update VarTracker.java #428

Closed Ayush-Thakur-geek closed 3 months ago

Ayush-Thakur-geek commented 6 months ago

FOR issue #380

cyrille-artho commented 6 months ago

Thanks, your patch looks good. Could you please try to add a unit test as well so that we have a failing test (from your example) that shows that the patch is needed?

abimael-turing commented 1 month ago

@cyrille-artho If you would like, you can assign this issue to me!