Get Native class to load in withinJar

samarion · samarion · commit 0f7108a55318 · 2018-02-28T14:15:01.000+01:00
This enables a single point of failure for UnsatisfiedLinkError in
clients that have fallbacks in place.
diff --git a/src/main/java/z3/Z3Wrapper.java b/src/main/java/z3/Z3Wrapper.java
@@ -47,6 +47,8 @@ public final class Z3Wrapper {
       }
 
       loadFromJar();
+      // We run this to ensure class loading of Native.
+      debug("Z3 version: " + z3VersionString());
     }
 
     private static void debug(String msg) {

Original file line number	Diff line number	Diff line change
`@@ -47,6 +47,8 @@ public final class Z3Wrapper {`
`47`	`47`	`}`
`48`	`48`
`49`	`49`	`loadFromJar();`
	`50`	`+ // We run this to ensure class loading of Native.`
	`51`	`+ debug("Z3 version: " + z3VersionString());`
`50`	`52`	`}`
`51`	`53`
`52`	`54`	`private static void debug(String msg) {`