Do not use solver for forks

PySymGym · Oct 31, 2024 · 10416c9 · 10416c9
1 parent 2b84b3e
commit 10416c9
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,