URLClassLoader unit tests fail under Windows about jpf-core HOT 7 OPEN

Hi,
"Temurin" is Eclipse's JDK; it seems to be compatible with OpenJDK except for URLClassLoader. Are you running the tests under Windows? Perhaps there is an incompatibility there (rather than with Temurin).

from jpf-core.

I used jpf-core under windows with Intellij Idea. I got the result mentioned above.I tried to execute gradle build in cmd. I got the same error.

And I can't use the jpf-core.

Can you give some advises?

from jpf-core.

This is likely because Windows' shell does not use standard "/" as directory separator, but a backslash instead. This can probably be addressed in JPF's model and native peer classes. As we don't have access to Windows, we cannot fix this, but we are happy to accept a patch that handles this issue.

from jpf-core.

All right. Although there is still the error mentioned above, I can executed the java -jar RunJPF.jar HelloWorld.jpf.
And I got the result:

However, I alter the "HelloWorld.java"
from :

public class HelloWorld {
  public static void main(String[] args){
    System.out.println("I won't say it!");
  }
}

to :

public class HelloWorld {
  public void save(){
    System.out.println("save function！");
  }
}

I got the result shown below.

Is there must a main function in the tested .class? If not, what should I do?

from jpf-core.

Yes, JPF expects a regular Java application with a static main method as an entry point. If your code has no main method, you have to write one.

from jpf-core.

There are many class don't have "main function" in the jar of a project. Or, it can be said that a project usually has only one "main function". Can jpf test this jar? Can jpf test these classes? Can jpf used to a whole web project? Such as ,testing some interfaces.

from jpf-core.

JPF essentially performs a system test by default, but it can also be used to run unit tests. The latter mode is used to test JPF itself. Please see the wiki for more information.
To test the contents of a JAR file, you usually want to mix system tests (calling main with different parameters) and unit tests, as far as there is non-determinism in the form of thread scheduling or input choices.

from jpf-core.