Change stepsToStart arg

Parzival-05 · Parzival-05 · commit 4e6e66863205 · 2025-09-07T14:14:43.000+03:00
diff --git a/usvm-ml-gameserver/src/main/kotlin/org.usvm/gameserver/Explorer.kt b/usvm-ml-gameserver/src/main/kotlin/org.usvm/gameserver/Explorer.kt
@@ -46,7 +46,7 @@ private fun cloneDefaultOptions(gameMap: GameMap, predict: (GameState) -> UInt):
     return defaultOptions.copy(
         pathSelectionStrategies = listOf(defaultSearcher, PathSelectionStrategy.AI),
         stepLimit = stepLimit,
-        stepsToStart = gameMap.stepsToStart,
+        stepsToStart = gameMap.stepsToStart + gameMap.stepsToPlay,
         oracle = OracleImpl<BasicBlock>(predict)
     )
 }

Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,7 @@ private fun cloneDefaultOptions(gameMap: GameMap, predict: (GameState) -> UInt):`
`46`	`46`	`return defaultOptions.copy(`
`47`	`47`	`pathSelectionStrategies = listOf(defaultSearcher, PathSelectionStrategy.AI),`
`48`	`48`	`stepLimit = stepLimit,`
`49`		`- stepsToStart = gameMap.stepsToStart,`
	`49`	`+ stepsToStart = gameMap.stepsToStart + gameMap.stepsToPlay,`
`50`	`50`	`oracle = OracleImpl<BasicBlock>(predict)`
`51`	`51`	`)`
`52`	`52`	`}`