fixed xcfatoctest

ftsrg · Nov 2, 2023 · a601249 · a601249
1 parent 6d4203f
commit a601249
Showing 1 changed file with 1 addition and 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
@@ -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)
     }