From ee948b252e41e0daa006aff3ac5c923915b52a41 Mon Sep 17 00:00:00 2001
From: ancavar <danaj2004@yandex.ru>
Date: Thu, 31 Oct 2024 21:33:13 +0300
Subject: [PATCH] Do not use solver for forks

---
 usvm-ml-gameserver/src/main/kotlin/org.usvm/JavaMethodRunner.kt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/usvm-ml-gameserver/src/main/kotlin/org.usvm/JavaMethodRunner.kt b/usvm-ml-gameserver/src/main/kotlin/org.usvm/JavaMethodRunner.kt
index ea6bb154b..ef6e0437a 100644
--- 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,