trying to reduce test time budget for symbolic mode

vorpal-research · Jan 9, 2024 · 9045459 · 9045459
1 parent 4b5b199
commit 9045459
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kex-test.ini b/kex-test.ini
@@ -56,7 +56,7 @@ ignore = class org.vorpal.research.kex.test.Intrinsics
 ignore = class kotlin.jvm.internal.Intrinsics
 
 [symbolic]
-timeLimit = 600
+timeLimit = 300
 numberOfExecutors = 1
 numberOfConcreteMethods = 5