Search results

isSealed and permittedSubclassNames field shadowing makes sealed class enforcement non-functional

bug

first issueGood issue for first commitGood issue for first commit

Status: Open.

#605 In javapathfinder/jpf-core;

· Mahmoud-Khawaja opened on Mar 5, 2026

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

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

Documentation Error: Incorrect Markdown Attributes in Random Example Wiki Page

Status: Open.

#534 In javapathfinder/jpf-core;

· marodriguezd opened on Apr 1, 2025

One wiki link is down

Status: Open.

#526 In javapathfinder/jpf-core;

· syheliel opened on Mar 20, 2025