Skip to content

Commit c94633b

Browse files
committed
feat: Add sending of steps count
1 parent 94414db commit c94633b

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

usvm-ml-gameserver/src/main/kotlin/org.usvm/gameserver/Explorer.kt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,7 @@ fun randomExplorer(
3333
return GameOver(
3434
floor(percentageCoverage).toUInt(),
3535
test = tests.toUInt(),
36+
stepsCount = gameMap.stepsToStart + gameMap.stepsToStart, // TODO: send the actual step count
3637
error = errors.toUInt()
3738
)
3839
}

usvm-ml-gameserver/src/main/kotlin/org.usvm/gameserver/Messages.kt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -63,6 +63,7 @@ sealed class OutputMessageBody
6363
data class GameOver(
6464
@SerialName("ActualCoverage") val percent: UInt,
6565
@SerialName("TestsCount") val test: UInt,
66+
@SerialName("StepsCount") val stepsCount: UInt,
6667
@SerialName("ErrorsCount") val error: UInt
6768
) : OutputMessageBody()
6869

0 commit comments

Comments
 (0)