Reconciliation for utBotGenerationTimeoutInMillis: Long.MAX_VALUE is … (#1506)

Vassiliy-Kudryashov · web-flow · commit 3e8150309c6e · 2022-12-12T10:13:12.000+03:00
Reconciliation for utBotGenerationTimeoutInMillis: Long.MAX_VALUE is far too big for maximum, let's use Int.MAX_VALUE instead
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
@@ -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.

Original file line number	Diff line number	Diff line change
`@@ -53,7 +53,7 @@ object UtSettings : AbstractSettings(logger, defaultKeyForSettingsPath, defaultS`
`53`	`53`	`* Timeout for symbolic execution`
`54`	`54`	`*`
`55`	`55`	`*/`
`56`		`- var utBotGenerationTimeoutInMillis by getLongProperty(60000L, 1000L, Long.MAX_VALUE)`
	`56`	`+ var utBotGenerationTimeoutInMillis by getLongProperty(60000L, 1000L, Int.MAX_VALUE.toLong())`
`57`	`57`
`58`	`58`	`/**`
`59`	`59`	`* Random seed in path selector.`