Skip to content

Commit 3f1d709

Browse files
ancavargsvgit
authored andcommitted
Add logic to incrementally update the client
1 parent 0451c31 commit 3f1d709

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

VSharp.Explorer/AISearcher.fs

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -132,7 +132,11 @@ type internal AISearcher(oracle: Oracle, aiAgentTrainingOptions: Option<AIAgentT
132132
if aiAgentTrainingOptions.IsSome && stepsToPlay = stepsPlayed
133133
then None
134134
else
135-
let stateId = oracle.Predict gameState.Value
135+
let toPredict =
136+
if stepsPlayed < stepsToSwitchToAI
137+
then gameState.Value
138+
else gameStateDelta
139+
let stateId = oracle.Predict toPredict
136140
afterFirstAIPeek <- true
137141
let state = availableStates |> Seq.tryFind (fun s -> s.internalId = stateId)
138142
lastCollectedStatistics <- statistics

0 commit comments

Comments
 (0)