fixed tests for windows

ftsrg · Nov 3, 2024 · 1ae278c · 1ae278c
1 parent a6abad5
commit 1ae278c
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/subprojects/xcfa/xcfa-cli/src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaCliProofTest.kt b/subprojects/xcfa/xcfa-cli/src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaCliProofTest.kt
@@ -46,8 +46,8 @@ class XcfaCliProofTest {
             WitnessEdge(
               startlineRange = Pair(5, 5),
               endlineRange = Pair(5, 5),
-              startoffsetRange = Pair(80, 82),
-              endoffsetRange = Pair(112, 114),
+              startoffsetRange = Pair(80, 90),
+              endoffsetRange = Pair(112, 122),
               assumption = Regex("i *== *-1"),
             )
           ),
@@ -59,8 +59,8 @@ class XcfaCliProofTest {
             WitnessEdge(
               startlineRange = Pair(5, 5),
               endlineRange = Pair(5, 5),
-              startoffsetRange = Pair(80, 82),
-              endoffsetRange = Pair(112, 114),
+              startoffsetRange = Pair(80, 90),
+              endoffsetRange = Pair(112, 122),
               assumption = Regex("i *== *-1"),
             )
           ),