Fix typo

Parzival-05 · Parzival-05 · commit 758b8fda66d2 · 2025-05-23T11:49:55.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
@@ -33,7 +33,7 @@ fun randomExplorer(
     return GameOver(
         floor(percentageCoverage).toUInt(),
         test = tests.toUInt(),
-        stepsCount = gameMap.stepsToStart + gameMap.stepsToStart, // TODO: send the actual step count
+        stepsCount = gameMap.stepsToStart + gameMap.stepsToPlay, // TODO: send the actual step count
         error = errors.toUInt()
     )
 }

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ fun randomExplorer(`
`33`	`33`	`return GameOver(`
`34`	`34`	`floor(percentageCoverage).toUInt(),`
`35`	`35`	`test = tests.toUInt(),`
`36`		`- stepsCount = gameMap.stepsToStart + gameMap.stepsToStart, // TODO: send the actual step count`
	`36`	`+ stepsCount = gameMap.stepsToStart + gameMap.stepsToPlay, // TODO: send the actual step count`
`37`	`37`	`error = errors.toUInt()`
`38`	`38`	`)`
`39`	`39`	`}`