jpf-symbc: Could not initialize class java.util.logging.LogRecord

[zhang]

Hi all,

I am trying to run spa on a simple subject. I got error about not finding "LogRecord". I just wonder if it's the problem on native classpath or the classpath or my native jvm version (1.8.0).

Running Symbolic PathFinder ...
symbolic.dp=choco
symbolic.string_dp_timeout_ms=0
symbolic.string_dp=none
symbolic.choco_time_bound=30000
symbolic.max_pc_length=2147483647
symbolic.max_pc_msec=0
symbolic.min_int=-1000000
symbolic.max_int=1000000
symbolic.min_double=-8.0
symbolic.max_double=7.0
[error] (run-main-c) java.lang.NoClassDefFoundError: Could not initialize class java.util.logging.LogRecord
java.lang.NoClassDefFoundError: Could not initialize class java.util.logging.LogRecord
        at java.util.logging.Logger.log(Logger.java:787)
        at java.util.logging.Logger.severe(Logger.java:1463)
        at gov.nasa.jpf.util.JPFLogger.severe(JPFLogger.java:169)
        at gov.nasa.jpf.vm.SingleProcessVM.initialize(SingleProcessVM.java:143)
        at gov.nasa.jpf.JPF.run(JPF.java:611)
        at edu.udel.mass.main.Main$.main(Config.scala:32)
        at edu.udel.mass.main.Main.main(Config.scala)
        at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
        at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
        at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
        at java.lang.reflect.Method.invoke(Method.java:483)
[trace] Stack trace suppressed: run last compile:runMain for the full output.
java.lang.RuntimeException: Nonzero exit code: 1
        at scala.sys.package$.error(package.scala:27)
[trace] Stack trace suppressed: run last compile:runMain for the full output.
[error] (compile:runMain) Nonzero exit code: 1
[error] Total time: 9 s, completed Oct 7, 2016 4:18:07 PM

[Quoc-Sang Phan]

Are you running SPF on Scala?

[zhang]

Thanks for reply. Yes. The problem has been solved. There was another problem in the configuration.