Switch successors

Lipen · Lipen · commit 0ba5f0702aaa · 2025-04-14T15:02:53.000+03:00
diff --git a/usvm-ts/src/main/kotlin/org/usvm/machine/interpreter/TsInterpreter.kt b/usvm-ts/src/main/kotlin/org/usvm/machine/interpreter/TsInterpreter.kt
@@ -101,7 +101,7 @@ class TsInterpreter(
             ctx.mkTruthyExpr(expr, scope)
         }
 
-        val (negStmt, posStmt) = applicationGraph.successors(stmt).take(2).toList()
+        val (posStmt, negStmt) = applicationGraph.successors(stmt).take(2).toList()
 
         scope.forkWithBlackList(
             boolExpr,

Original file line number	Diff line number	Diff line change
`@@ -101,7 +101,7 @@ class TsInterpreter(`
`101`	`101`	`ctx.mkTruthyExpr(expr, scope)`
`102`	`102`	`}`
`103`	`103`
`104`		`- val (negStmt, posStmt) = applicationGraph.successors(stmt).take(2).toList()`
	`104`	`+ val (posStmt, negStmt) = applicationGraph.successors(stmt).take(2).toList()`
`105`	`105`
`106`	`106`	`scope.forkWithBlackList(`
`107`	`107`	`boolExpr,`