Update XcfaCliWitnessTest.kt

ftsrg · Nov 13, 2023 · add1655 · add1655
1 parent cc205c2
commit add1655
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/subprojects/xcfa/xcfa-cli/src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaCliWitnessTest.kt b/subprojects/xcfa/xcfa-cli/src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaCliWitnessTest.kt
@@ -43,8 +43,8 @@ class XcfaCliWitnessTest {
                     WitnessEdge(
                         startlineRange = Pair(5, 5),
                         endlineRange = Pair(5, 5),
-                        startoffsetRange = Pair(79, 91),
-                        endoffsetRange = Pair(110, 115),
+                        startoffsetRange = Pair(79, 95),
+                        endoffsetRange = Pair(110, 125),
                         assumption = Regex("i *== *-1"),
                     ),
                 )),
@@ -78,7 +78,7 @@ class XcfaCliWitnessTest {
                 data.put(key, value)
             }
             edges.add(data)
-            print("Found edge containing data: ${data.entries.map { "${it.key}: ${it.value}" }.joinToString(", ")}")
+            println("Found edge containing data: ${data.entries.map { "${it.key}: ${it.value}" }.joinToString(", ")}")
         }
         for (expectedWitnessEdge in expectedWitnessEdges) {
             Assertions.assertFalse(