Fix AISearcher bug with stepsPlayed

Parzival-05 · Parzival-05 · commit a24629b40dae · 2025-08-16T09:12:13.000+03:00
diff --git a/VSharp.Explorer/AISearcher.fs b/VSharp.Explorer/AISearcher.fs
@@ -137,6 +137,7 @@ type internal AISearcher(oracle: Oracle, aiAgentTrainingMode: Option<AIAgentTrai
             afterFirstAIPeek <- true
             let state = availableStates |> Seq.tryFind (fun s -> s.internalId = stateId)
             lastCollectedStatistics <- statistics
+            stepsPlayed <- stepsPlayed + 1u<step>
 
             match state with
             | Some state -> Some state
