From 1ae278cd0a2ee82bc3c161b040ced1261d700315 Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Sun, 3 Nov 2024 22:58:16 +0100 Subject: [PATCH] fixed tests for windows --- .../java/hu/bme/mit/theta/xcfa/cli/XcfaCliProofTest.kt | 8 ++++---- 1 file changed, 4 insertions(+), 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 index bc39de1553..27c51fa5cf 100644 --- 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"), ) ),