Search results

Assert failure in gov.nasa.jpf.test.java.io.FileTest.testToURI (Windows 11/Java 11)

Status: Open.

#597 In javapathfinder/jpf-core;

· gRid08 opened on Feb 12, 2026

Add unit tests for gov.nasa.jpf.util.FixedBitSet

Status: Open.

#595 In javapathfinder/jpf-core;

· HritikRaj2 opened on Jan 23, 2026

Add unit tests for gov.nasa.jpf.util.WeakPool

Status: Open.

#593 In javapathfinder/jpf-core;

· HritikRaj2 opened on Jan 21, 2026

Add unit tests for gov.nasa.jpf.util.SimplePool

Status: Open.

#591 In javapathfinder/jpf-core;

· HritikRaj2 opened on Jan 20, 2026

Implement missing <code>appendTail</code> and <code>appendReplacement</code> methods in Matcher

Status: Open.

#589 In javapathfinder/jpf-core;

· Jitmisra opened on Jan 18, 2026

Fix Resource Leaks Using Try-With-Resources

Status: Open.

#585 In javapathfinder/jpf-core;

· PritamP20 opened on Jan 1, 2026

Java 17 build/test fails on some platforms

Status: Open.

#566 In javapathfinder/jpf-core;

· eklaDFF opened on Oct 29, 2025

Partly outdated documentation

Status: Open.

#563 In javapathfinder/jpf-core;

· cyrille-artho opened on Sep 19, 2025

Migrate documentation from wiki to a different system

Status: Open.

#558 In javapathfinder/jpf-core;

· cyrille-artho opened on Jul 24, 2025

Checking Statecharts with JPF

Status: Open.

#555 In javapathfinder/jpf-core;

· Tom-Soucies opened on Jul 8, 2025

call site generation for string concat

Status: Open.

#547 In javapathfinder/jpf-core;

· Mahmoud-Khawaja opened on Jun 16, 2025

Typo in Documentation: ./gradle shoud be ./gradlew

Status: Open.

#535 In javapathfinder/jpf-core;

· RehanChalana opened on Apr 1, 2025