From a60124976bbf024b37b895605bc601629bac8e54 Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Thu, 2 Nov 2023 16:22:58 +0100 Subject: [PATCH] fixed xcfatoctest --- .../src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaToCTest.kt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/subprojects/xcfa/xcfa-cli/src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaToCTest.kt b/subprojects/xcfa/xcfa-cli/src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaToCTest.kt index 787dafb7eb..29fdfbce7e 100644 --- a/subprojects/xcfa/xcfa-cli/src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaToCTest.kt +++ b/subprojects/xcfa/xcfa-cli/src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaToCTest.kt @@ -25,7 +25,6 @@ import org.junit.jupiter.params.ParameterizedTest import org.junit.jupiter.params.provider.Arguments import org.junit.jupiter.params.provider.MethodSource import java.io.FileInputStream -import java.util.* import java.util.stream.Stream import kotlin.io.path.createTempDirectory @@ -59,7 +58,7 @@ class XcfaToCTest { val temp = createTempDirectory() val file = temp.resolve("${filePath.split("/").last()}.c").also { it.toFile().writeText(xcfa.toC(ParseContext(), - false, false, false)) + true, false, false)) } System.err.println(file) }