Use default timpeout

Author: agusaldasoro

core/src/main/kotlin/org/evomaster/core/EMConfig.kt

@@ -59,6 +59,12 @@ class EMConfig {
          */
         const val stringLengthHardLimit = 20_000
 
+        /**
+         * Default soft timeout, in milliseconds, for each Z3 solver invocation
+         * when generating SQL data. See [sqlZ3TimeoutMs].
+         */
+        const val DEFAULT_SQL_Z3_TIMEOUT_MS = 5000
+
         private const val defaultExternalServiceIP = "127.0.0.4"
 
         //leading zeros are allowed
@@ -1980,7 +1986,7 @@ class EMConfig {
             "A value of 0 disables the timeout. Only meaningful when generateSqlDataWithZ3=true.")
     @DependsOnTrueFor("generateSqlDataWithZ3")
     @Min(0.0)
-    var sqlZ3TimeoutMs = 5000
+    var sqlZ3TimeoutMs = DEFAULT_SQL_Z3_TIMEOUT_MS
 
     @Cfg("Enable EvoMaster to generate SQL data with direct accesses to the database. Use a search algorithm")
     @DependsOnFalseFor("blackBox")

core/src/main/kotlin/org/evomaster/core/solver/SMTLibZ3DbConstraintSolver.kt

@@ -168,7 +168,8 @@ class SMTLibZ3DbConstraintSolver() : DbConstraintSolver {
         val fileName = storeToTmpFile(smtLib)
 
         val z3Start = System.currentTimeMillis()
-        val z3Timeout = if (::config.isInitialized) config.sqlZ3TimeoutMs.toLong() else 0L
+        val z3Timeout = if (::config.isInitialized) config.sqlZ3TimeoutMs.toLong()
+            else EMConfig.DEFAULT_SQL_Z3_TIMEOUT_MS.toLong()
         val z3Result = try {
             executor.solveFromFile(fileName, z3Timeout)
         } finally {