Fix?

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