From 7ec431f2a457f736e9ba6369e815d0afa66dbc63 Mon Sep 17 00:00:00 2001 From: Armin Zavada Date: Sat, 14 Sep 2024 16:20:45 +0200 Subject: [PATCH] Fix? --- engine/src/testFixtures/kotlin/ThetaExecutor.kt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/engine/src/testFixtures/kotlin/ThetaExecutor.kt b/engine/src/testFixtures/kotlin/ThetaExecutor.kt index e9664d4..1bb8746 100644 --- 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))