assumptions triggered a runtimeexception

ftsrg · Aug 5, 2024 · 6c948eb · 6c948eb
1 parent 13c9ad3
commit 6c948eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...rojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsHornTest.java b/...rojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsHornTest.java
@@ -357,8 +357,8 @@ public void installSolver() {
         if (solverString.contains("Z3") || solverString.contains("JavaSMT")) {
             return;
         }
+        Assume.assumeTrue(OsHelper.getOs() == OsHelper.OperatingSystem.LINUX); // chc solvers are only properly on linux
         try (final var solverManager = SmtLibSolverManager.create(SMTLIB_HOME, new ConsoleLogger(Level.DETAIL))) {
-            Assume.assumeTrue(OsHelper.getOs() == OsHelper.OperatingSystem.LINUX); // chc solvers are only properly on linux
             String solverVersion = SmtLibSolverManager.getSolverVersion(solverString);
             String solverName = SmtLibSolverManager.getSolverName(solverString);
             if (solverManager.managesSolver(solverString) && !solverManager.getInstalledVersions(solverName).contains(solverManager.getVersionString(solverName, solverVersion, false))) {