Merge pull request #57 from samarion/load-native

MikaelMayer · web-flow · commit 731e37d2e4e9 · 2018-03-22T00:15:06.000-05:00
Get Native class to load in withinJar
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) {`