OpenSMT: improve API test, fail correctly on Windows.

sosy-lab · Oct 17, 2023 · 45cb3e0 · 45cb3e0
1 parent 0a55472
commit 45cb3e0
Showing 1 changed file with 11 additions and 3 deletions.
diff --git a/src/org/sosy_lab/java_smt/solvers/opensmt/OpenSmtNativeAPITest.java b/src/org/sosy_lab/java_smt/solvers/opensmt/OpenSmtNativeAPITest.java
@@ -12,6 +12,8 @@
 
 import com.google.common.collect.ImmutableList;
 import java.util.Arrays;
+import org.junit.AssumptionViolatedException;
+import org.junit.BeforeClass;
 import org.junit.Test;
 import org.sosy_lab.common.NativeLibraries;
 import org.sosy_lab.java_smt.solvers.opensmt.api.ArithLogic;
@@ -36,9 +38,15 @@
 import org.sosy_lab.java_smt.solvers.opensmt.api.sstat;
 
 public class OpenSmtNativeAPITest {
-  static {
-    NativeLibraries.loadLibrary("opensmt");
-    NativeLibraries.loadLibrary("opensmtjava");
+
+  @BeforeClass
+  public static void load() {
+    try {
+      NativeLibraries.loadLibrary("opensmt");
+      NativeLibraries.loadLibrary("opensmtjava");
+    } catch (UnsatisfiedLinkError e) {
+      throw new AssumptionViolatedException("OpenSMT is not available", e);
+    }
   }
 
   /** Return free variables. */