From f02c3c2610476c4b67943cd9dfa3737b24e56adc Mon Sep 17 00:00:00 2001
From: Vassiliy-Kudryashov <vassiliy.kudryashov@gmail.com>
Date: Mon, 12 Dec 2022 01:10:44 +0300
Subject: [PATCH] Reconciliation for utBotGenerationTimeoutInMillis:
 Long.MAX_VALUE is far too big for maximum, let's use Int.MAX_VALUE instead

---
 .../src/main/kotlin/org/utbot/framework/UtSettings.kt           | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt b/utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt
index 546c5eb326..548bb32b55 100644
--- a/utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt
+++ b/utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt
@@ -53,7 +53,7 @@ object UtSettings : AbstractSettings(logger, defaultKeyForSettingsPath, defaultS
      * Timeout for symbolic execution
      *
      */
-    var utBotGenerationTimeoutInMillis by getLongProperty(60000L, 1000L, Long.MAX_VALUE)
+    var utBotGenerationTimeoutInMillis by getLongProperty(60000L, 1000L, Int.MAX_VALUE.toLong())
 
     /**
      * Random seed in path selector.