Fix bug with extra steps

PySymGym · Feb 15, 2025 · e73ad5e · e73ad5e
1 parent 05b0bc4
commit e73ad5e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/VSharp.Explorer/AISearcher.fs b/VSharp.Explorer/AISearcher.fs
@@ -182,7 +182,7 @@ type internal AISearcher(oracle: Oracle, aiAgentTrainingMode: Option<AIAgentTrai
 
             Application.applicationGraphDelta.Clear ()
 
-            if stepsToPlay = stepsPlayed then
+            if stepsToPlay <= stepsPlayed then
                 None
             else
                 let toPredict =