m

vorpal-research · Aug 4, 2023 · 830da59 · 830da59
1 parent 3787e42
commit 830da59
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/kex.ini b/kex.ini
@@ -10,7 +10,7 @@ outputDir = temp/
 useJavaRuntime = true
 useKexRuntime = true
 computeCoverage = true
-computeSaturationCoverage = true
+computeSaturationCoverage = false
 printDetailedCoverage = true
 useReflectionInfo = false
 
@@ -76,7 +76,7 @@ numberOfExecutors = 8
 numberOfConcreteMethods = 3
 
 [concolic]
-timeLimit = 120
+timeLimit = 600
 numberOfExecutors = 8
 searchStrategy = cgs
 
@@ -146,7 +146,7 @@ outputFile = defects.json
 executorPath = kex-executor/target/kex-executor-0.0.1-jar-with-dependencies.jar
 executorConfigPath = kex.ini
 executorPolicyPath = kex.policy
-numberOfWorkers = 2
+numberOfWorkers = 4
 masterJvmParams = -Xmx2g
 workerJvmParams = -Xmx4g