Do not use solver for forks

PySymGym · Dec 3, 2024 · ee948b2 · ee948b2
1 parent 0602050
commit ee948b2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/usvm-ml-gameserver/src/main/kotlin/org.usvm/JavaMethodRunner.kt b/usvm-ml-gameserver/src/main/kotlin/org.usvm/JavaMethodRunner.kt
@@ -39,6 +39,7 @@ class JavaMethodRunner(gameMap: GameMap, oracle: Predictor<*>? = null) {
         solverTimeout = Duration.INFINITE,
         timeout = Duration.INFINITE,
         typeOperationsTimeout = Duration.INFINITE,
+        useSolverForForks = false,
 
         stepLimit = stepLimit.toULong(),
         stepsToStart = gameMap.stepsToStart,