Open natasha-jeppu opened 4 months ago
Hi,
Without any details, it is difficult to see what goes wrong. Most likely, you have not configured your classpath correctly, so the library you're using is not found. What do you mean by "simply running main
"?
Hi,
I am running JPF on a concurrent implementation that uses ThreadFactoryBuilder. I get the following error while running:
However, simply running
main
for this implementation works fine without any errors. Is this because the JPF vm does not recognise this class?I am using
openjdk version "1.8.0_292"
andJavaPathfinder core system v8.0
.