reformat

ftsrg · Jan 23, 2025 · ce57c6d · ce57c6d
1 parent c19c3ee
commit ce57c6d
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/subprojects/xsts/xsts-cli/src/main/kotlin/hu/bme/mit/theta/xsts/cli/XstsCliTracegen.kt b/subprojects/xsts/xsts-cli/src/main/kotlin/hu/bme/mit/theta/xsts/cli/XstsCliTracegen.kt
@@ -155,7 +155,10 @@ class XstsCliTracegen :
         )
 
       val concreteSummaryFile =
-        traceDirPath.absolutePath + File.separator + inputOptions.model.nameWithoutExtension + ".cexs"
+        traceDirPath.absolutePath +
+          File.separator +
+          inputOptions.model.nameWithoutExtension +
+          ".cexs"
       val cexsString = toCexs(concretizationResult)
       PrintWriter(File(concreteSummaryFile)).use { printWriter -> printWriter.write(cexsString) }
       logger.write(