Implemented changes from feedback

ftsrg · Nov 12, 2024 · f639718 · f639718
1 parent 072c264
commit f639718
Show file tree

Hide file tree

Showing 3 changed files with 145 additions and 140 deletions.
diff --git a/...jects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/oc/XcfaOcChecker.kt b/...jects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/oc/XcfaOcChecker.kt
@@ -56,7 +56,7 @@ private val Expr<*>.vars
   get() = ExprUtils.getVars(this)
 
 class XcfaOcChecker(
-  xcfa: XCFA,
+  private val xcfa: XCFA,
   decisionProcedure: OcDecisionProcedureType,
   private val logger: Logger,
   conflictInput: String?,
@@ -65,7 +65,6 @@ class XcfaOcChecker(
   private val autoConflictConfig: AutoConflictFinderConfig,
 ) : SafetyChecker<EmptyProof, Cex, XcfaPrec<UnitPrec>> {
 
-  private val xcfa: XCFA = xcfa
   private var indexing = VarIndexingFactory.indexing(0)
   private val localVars = mutableMapOf<VarDecl<*>, MutableMap<Int, VarDecl<*>>>()
   private val memoryDecl = Decls.Var("__oc_checker_memory_declaration__", Int())