From ed702f80a6b262296823fcec8d1f043bb476f945 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Csan=C3=A1d=20Telbisz?= <csanadtelbisz@gmail.com>
Date: Wed, 13 Nov 2024 14:24:27 +0100
Subject: [PATCH] format

---
 .../hu/bme/mit/theta/xcfa/cli/checkers/ConfigToOcChecker.kt  | 2 +-
 .../java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt    | 1 -
 .../xcfa/src/main/java/hu/bme/mit/theta/xcfa/model/XCFA.kt   | 5 +++--
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/ConfigToOcChecker.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/ConfigToOcChecker.kt
index 3e88eb043a..f71aab960e 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/ConfigToOcChecker.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/ConfigToOcChecker.kt
@@ -42,7 +42,7 @@ fun getOcChecker(
       ocConfig.outputConflictClauses,
       ocConfig.nonPermissiveValidation,
       ocConfig.autoConflict,
-      config.outputConfig.acceptUnreliableSafe
+      config.outputConfig.acceptUnreliableSafe,
     )
   return SafetyChecker { ocChecker.check() }
 }
diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt
index fb13f97b99..53cce44448 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt
@@ -46,7 +46,6 @@ import hu.bme.mit.theta.xcfa.cli.params.Refinement.SEQ_ITP
 import hu.bme.mit.theta.xcfa.cli.params.Search.*
 import hu.bme.mit.theta.xcfa.cli.runConfig
 import hu.bme.mit.theta.xcfa.model.XCFA
-import hu.bme.mit.theta.xcfa.model.optimizeFurther
 import hu.bme.mit.theta.xcfa.passes.*
 import java.nio.file.Paths
 
diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/model/XCFA.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/model/XCFA.kt
index b23e1ee315..03126156ed 100644
--- a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/model/XCFA.kt
+++ b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/model/XCFA.kt
@@ -26,7 +26,7 @@ class XCFA(
   val globalVars: Set<XcfaGlobalVar>, // global variables
   val procedureBuilders: Set<XcfaProcedureBuilder> = emptySet(),
   val initProcedureBuilders: List<Pair<XcfaProcedureBuilder, List<Expr<*>>>> = emptyList(),
-  var unsafeUnrollUsed: Boolean = false
+  var unsafeUnrollUsed: Boolean = false,
 ) {
 
   private var cachedHash: Int? = null
@@ -51,7 +51,8 @@ class XCFA(
 
     procedures = procedureBuilders.map { it.build(this) }.toSet()
     initProcedures = initProcedureBuilders.map { Pair(it.first.build(this), it.second) }
-    unsafeUnrollUsed = (procedureBuilders + initProcedureBuilders.map { it.first }).any { it.unsafeUnrollUsed }
+    unsafeUnrollUsed =
+      (procedureBuilders + initProcedureBuilders.map { it.first }).any { it.unsafeUnrollUsed }
   }
 
   /** Recreate an existing XCFA by substituting the procedures and initProcedures fields. */