Renamed /host to /theta in docker container

ftsrg · Sep 14, 2024 · 8c8cbf1 · 8c8cbf1
1 parent 9adaf30
commit 8c8cbf1
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/engine/src/testFixtures/kotlin/ThetaExecutor.kt b/engine/src/testFixtures/kotlin/ThetaExecutor.kt
@@ -84,12 +84,12 @@ class ThetaExecutor(
                 "docker",
                 "run",
                 "--rm",
-                "--mount", "type=bind,source=$workingDirectory,target=/host",
+                "--mount", "type=bind,source=$workingDirectory,target=/theta",
                 "ftsrg/theta-xsts-cli:$version",
                 "CEGAR",
-                "--model", "/host/$model",
-                "--property", "/host/$property",
-                "--cexfile", "/host/$cex",
+                "--model", "/theta/$model",
+                "--property", "/theta/$property",
+                "--cexfile", "/theta/$cex",
                 *parameter.split(" ").toTypedArray(),
             )
                 .redirectOutput(File(workingDirectory, logName))