From 67d92c0dee2fe267405a5a0099f694a27940b492 Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Mon, 2 Dec 2024 15:17:54 +0100
Subject: [PATCH] Null assertion -> elvis

---
 .../src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt
index 5e5a05dfa9..c40280d576 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt
@@ -609,7 +609,7 @@ private fun postTraceGenerationLogging(
       "Writing post-verification artifacts to directory ${resultFolder.absolutePath}\n",
     )
 
-    val modelName = config.inputConfig.input!!.name
+    val modelName = config.inputConfig.input?.name ?: "anonymous"
     val graph = AbstractTraceSummaryVisualizer.visualize(abstractSummary)
     val visFile =
       resultFolder.absolutePath + File.separator + modelName + ".abstract-trace-summary.png"