One unit test failure with Java 11

javapathfinder / jpf-nhandler

GNU General Public License v3.0

5 stars 6 forks source link

Closed cyrille-artho closed 5 months ago

cyrille-artho commented 5 months ago

jpf-nhandler builds with Java 11 (against a jpf-core compiled with Java 11), but one unit test fails:

converter.specific.JPF2JVMjava_utilTest > convertRandomTest FAILED
    java.lang.AssertionError at JPF2JVMjava_utilTest.java:47