File tree 1 file changed +5
-2
lines changed
VSharp.ML.GameServer.Runner
1 file changed +5
-2
lines changed Original file line number Diff line number Diff line change @@ -350,6 +350,8 @@ let runTrainingSendModelMode
350
350
( port : int )
351
351
=
352
352
printfn $" Run infer on {gameMap.MapName} have started."
353
+ let stepsToStart = gameMap.StepsToStart
354
+ let stepsToPlay = gameMap.StepsToPlay
353
355
354
356
let aiTrainingOptions =
355
357
{
@@ -363,8 +365,8 @@ let runTrainingSendModelMode
363
365
364
366
mapName = gameMap.MapName
365
367
}
366
- stepsToSwitchToAI = gameMap.StepsToStart
367
- stepsToPlay = gameMap.StepsToPlay
368
+ stepsToSwitchToAI = stepsToStart
369
+ stepsToPlay = stepsToPlay
368
370
oracle = None
369
371
}
370
372
@@ -391,6 +393,7 @@ let runTrainingSendModelMode
391
393
outputDirectory = outputDirectory,
392
394
searchStrategy = SearchStrategy.AI,
393
395
solverTimeout = SOLVER_ TIMEOUT_ FOR_ TRAINING,
396
+ stepsLimit = uint ( stepsToPlay + stepsToStart),
394
397
aiOptions = ( Some aiOptions |> Option.defaultValue Unchecked.defaultof<_>),
395
398
pathToModel = pathToModel,
396
399
useGPU = useGPU,
You can’t perform that action at this time.
0 commit comments