Added initialization step

ftsrg · Sep 14, 2024 · 9adaf30 · 9adaf30
1 parent 7ec431f
commit 9adaf30
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/engine/src/test/kotlin/GammaVerificationTests.kt b/engine/src/test/kotlin/GammaVerificationTests.kt
@@ -42,6 +42,7 @@ class GammaVerificationTests : VerificationTest() {
         @JvmStatic
         fun prepare() {
             prepareOxsts()
+            thetaExecutor.initTheta()
         }
     }
 

diff --git a/engine/src/testFixtures/kotlin/ThetaExecutor.kt b/engine/src/testFixtures/kotlin/ThetaExecutor.kt
@@ -55,6 +55,18 @@ class ThetaExecutor(
 
     val logger = LoggerFactory.getLogger(javaClass)
 
+    fun initTheta() {
+        val process = ProcessBuilder(
+            "docker",
+            "pull",
+            "ftsrg/theta-xsts-cli:$version",
+        )
+            .inheritIO()
+            .start()
+
+        process.waitFor(timeout, timeUnit)
+    }
+
     private suspend fun runTheta(
         workingDirectory: String,
         name: String,