Move platform check to @beforeeach block in project examples

Author: daniel-raffler

doc/Example-Gradle-Project-Kotlin/src/test/kotlin/org/sosy_lab/java_smt_example/AppTest.kt

@@ -14,6 +14,7 @@ import com.google.common.base.StandardSystemProperty
 import org.junit.jupiter.api.Assertions.assertEquals
 import org.junit.jupiter.api.Assertions.assertNotNull
 import org.junit.jupiter.api.Assumptions.assumeTrue
+import org.junit.jupiter.api.BeforeEach
 import org.junit.jupiter.params.Parameter
 import org.junit.jupiter.params.ParameterizedClass
 import org.junit.jupiter.params.provider.MethodSource
@@ -84,9 +85,13 @@ class AppTest {
     val logger = BasicLogManager.create(config)
     val notifier = ShutdownNotifier.createDummy()
 
+    @BeforeEach
+    fun init() {
+        assumeTrue(isSupportedOperatingSystemAndArchitecture(solver))
+    }
+
     @Test
     fun checkSudoku() {
-        assumeTrue(isSupportedOperatingSystemAndArchitecture(solver))
         logger.log(Level.INFO, "Executing " + solver + "...")
 
         SolverContextFactory.createSolverContext(config, logger, notifier, solver).use {

doc/Example-Gradle-Project/src/test/java/org/sosy_lab/java_smt_example/SudokuTest.java

@@ -132,6 +132,8 @@ public static List<Solvers> getAllSolvers() {
 
   @BeforeEach
   public void init() throws InvalidConfigurationException {
+    assumeTrue(isSupportedOperatingSystemAndArchitecture(solver));
+
     config = Configuration.defaultConfiguration();
     logger = BasicLogManager.create(config);
     notifier = ShutdownNotifier.createDummy();
@@ -192,8 +194,6 @@ private boolean isSupportedOperatingSystemAndArchitecture(Solvers solver) {
   @Test
   public void checkSudoku()
       throws InvalidConfigurationException, InterruptedException, SolverException {
-    assumeTrue(isSupportedOperatingSystemAndArchitecture(solver));
-
     logger.log(Level.INFO, "Executing " + solver + "...");
 
     context = SolverContextFactory.createSolverContext(config, logger, notifier, solver);

doc/Example-Ivy-Project/src/test/org/sosy_lab/java_smt_example/SudokuTest.java

@@ -132,6 +132,7 @@ public static List<Solvers> getAllSolvers() {
 
   @BeforeEach
   public void init() throws InvalidConfigurationException {
+    assumeTrue(isSupportedOperatingSystemAndArchitecture(solver));
     config = Configuration.defaultConfiguration();
     logger = BasicLogManager.create(config);
     notifier = ShutdownNotifier.createDummy();
@@ -192,8 +193,6 @@ private boolean isSupportedOperatingSystemAndArchitecture(Solvers solver) {
   @Test
   public void checkSudoku()
           throws InvalidConfigurationException, InterruptedException, SolverException {
-    assumeTrue(isSupportedOperatingSystemAndArchitecture(solver));
-
     logger.log(Level.INFO, "Executing " + solver + "...");
 
     context = SolverContextFactory.createSolverContext(config, logger, notifier, solver);

doc/Example-Maven-Project/src/test/java/org/sosy_lab/java_smt_example/SudokuTest.java

@@ -132,6 +132,8 @@ public static List<Solvers> getAllSolvers() {
 
   @BeforeEach
   public void init() throws InvalidConfigurationException {
+    assumeTrue(isSupportedOperatingSystemAndArchitecture(solver));
+
     config = Configuration.defaultConfiguration();
     logger = BasicLogManager.create(config);
     notifier = ShutdownNotifier.createDummy();
@@ -192,8 +194,6 @@ private boolean isSupportedOperatingSystemAndArchitecture(Solvers solver) {
   @Test
   public void checkSudoku()
       throws InvalidConfigurationException, InterruptedException, SolverException {
-    assumeTrue(isSupportedOperatingSystemAndArchitecture(solver));
-
     logger.log(Level.INFO, "Executing " + solver + "...");
 
     context = SolverContextFactory.createSolverContext(config, logger, notifier, solver);

doc/Example-Maven-Web-Project/src/test/java/org/sosy_lab/java_smt_web_example/SudokuTest.java

@@ -132,6 +132,8 @@ public static List<Solvers> getAllSolvers() {
 
   @BeforeEach
   public void init() throws InvalidConfigurationException {
+    assumeTrue(isSupportedOperatingSystemAndArchitecture(solver));
+
     config = Configuration.defaultConfiguration();
     logger = BasicLogManager.create(config);
     notifier = ShutdownNotifier.createDummy();
@@ -192,8 +194,6 @@ private boolean isSupportedOperatingSystemAndArchitecture(Solvers solver) {
   @Test
   public void checkSudoku()
       throws InvalidConfigurationException, InterruptedException, SolverException {
-    assumeTrue(isSupportedOperatingSystemAndArchitecture(solver));
-
     logger.log(Level.INFO, "Executing " + solver + "...");
 
     context = SolverContextFactory.createSolverContext(config, logger, notifier, solver);