Reformatted code

ftsrg · Nov 17, 2023 · 1361f2f · 1361f2f
1 parent badcc43
commit 1361f2f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/utils/BMCValToTrace.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/utils/BMCValToTrace.kt
@@ -52,9 +52,10 @@ fun valToState(xcfa: XCFA, val1: Valuation): XcfaState<ExplState> {
         map[i++] = x
     }
     return XcfaState(
-        xcfa=xcfa,
+        xcfa = xcfa,
         processes = mapOf(Pair(0, XcfaProcessState(
-            locs = LinkedList(listOf(map[(valMap[valMap.keys.first { it.name == "__loc_" }] as IntLitExpr).value.toInt()])),
+            locs = LinkedList(
+                listOf(map[(valMap[valMap.keys.first { it.name == "__loc_" }] as IntLitExpr).value.toInt()])),
             varLookup = LinkedList(),
         ))),
         ExplState.of(