remove .xsts from .cexs filename

ftsrg · Jan 23, 2025 · c19c3ee · c19c3ee
1 parent 8d19a23
commit c19c3ee
Showing 1 changed file with 1 addition 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,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(