Null assertion -> elvis

ftsrg · Dec 2, 2024 · 67d92c0 · 67d92c0
1 parent 0fd5bbe
commit 67d92c0
Showing 1 changed file with 1 addition and 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
@@ -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"