Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

via GitHub by magg
, 1 year ago
via GitHub by Paxa
, 1 year ago
java.lang.UnsatisfiedLinkError: unknown	at jnr.ffi.provider.jffi.AsmRuntime.newUnsatisifiedLinkError(AsmRuntime.java:40)	at z3.Z3Interface$jnr$ffi$1.Z3_mk_config(Unknown Source)	at z3.scala.Z3Config.(Z3Config.scala:6)	at edu.berkeley.cs.boom.molly.derivations.Z3Solver$.solve(Z3Solver.scala:35)	at edu.berkeley.cs.boom.molly.derivations.Solver$$anonfun$6.apply(Solver.scala:50)	at edu.berkeley.cs.boom.molly.derivations.Solver$$anonfun$6.apply(Solver.scala:50)	at scala.collection.immutable.List.flatMap(List.scala:327)	at edu.berkeley.cs.boom.molly.derivations.Solver$class.solve(Solver.scala:50)	at edu.berkeley.cs.boom.molly.derivations.Z3Solver$.solve(Z3Solver.scala:11)	at edu.berkeley.cs.boom.molly.Verifier.verify(Verifier.scala:174)	at edu.berkeley.cs.boom.molly.SyncFTChecker$.check(SyncFTChecker.scala:82)	at edu.berkeley.cs.boom.molly.SyncFTChecker$$anonfun$main$2.apply(SyncFTChecker.scala:105)	at edu.berkeley.cs.boom.molly.SyncFTChecker$$anonfun$main$2.apply(SyncFTChecker.scala:102)	at scala.Option.map(Option.scala:146)	at edu.berkeley.cs.boom.molly.SyncFTChecker$.main(SyncFTChecker.scala:102)	at edu.berkeley.cs.boom.molly.SyncFTChecker.main(SyncFTChecker.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:498)