javapathfinder/jpf-core Issues
"record" feature in jpf-core/java-17
Updated 35Compiler warnings under Java 17
Closed 35StringIndexOutOfBoundsException
Closed 5Unit test case performance
Updated 10Migration to Java 11
Closed 2Add unit tests for method dispatch
Updated 1Coverage configuration
Closed 2Gradle version is outdated
Closed 5