Running Symbolic PathFinder ...
symbolic.dp=choco
symbolic.string_dp_timeout_ms=0
symbolic.string_dp=none
symbolic.choco_time_bound=30000
symbolic.max_pc_msec=0
symbolic.min_int=-1000000
symbolic.max_int=1000000
symbolic.min_double=-8.0
symbolic.max_double=7.0
JavaPathfinder core system v8.0 (rev 31+) - (C) 2005-2014 United States Government. All rights reserved.
====================================================== system under test
ModularExponentiation.main()
====================================================== search started: 5/29/16 2:30 AM
====================================================== error 1
gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
java.lang.UnsatisfiedLinkError: cannot find native java.lang.Class.getPrimitiveClass
at java.lang.Class.getPrimitiveClass(no peer)
at java.lang.Boolean.<clinit>(Boolean.java:64)
====================================================== snapshot #1
thread java.lang.Thread:{id:0,name:main,status:RUNNING,priority:5,isDaemon:false,lockCount:0,suspendCount:0}
owned locks:java.lang.Class@4d
call stack:
at java.lang.Boolean.<clinit>(Boolean.java:64)
====================================================== results
error #1: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty "java.lang.UnsatisfiedLinkError: cannot find native..."
I have looked at previous posts, however haven't been able to find a solution to this problem. Any help here would be appreciated.