From c19c3ee0cb931a3bd3dd1ff9310d347d22e3c6c9 Mon Sep 17 00:00:00 2001 From: AdamZsofi Date: Thu, 23 Jan 2025 19:57:18 +0100 Subject: [PATCH] remove .xsts from .cexs filename --- .../main/kotlin/hu/bme/mit/theta/xsts/cli/XstsCliTracegen.kt | 2 +- 1 file changed, 1 insertion(+), 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 index 15ee967294..9a9f181f35 100644 --- 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,7 @@ class XstsCliTracegen : ) val concreteSummaryFile = - traceDirPath.absolutePath + File.separator + inputOptions.model.name + ".cexs" + traceDirPath.absolutePath + File.separator + inputOptions.model.nameWithoutExtension + ".cexs" val cexsString = toCexs(concretizationResult) PrintWriter(File(concreteSummaryFile)).use { printWriter -> printWriter.write(cexsString) } logger.write(