bigger time limit for symbolic tests?

vorpal-research · Jul 28, 2023 · 40fbc77 · 40fbc77
1 parent 36eebfa
commit 40fbc77
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kex-test.ini b/kex-test.ini
@@ -58,7 +58,7 @@ ignore = org.vorpal.research.kex.test.Intrinsics
 ignore = kotlin.jvm.internal.Intrinsics
 
 [symbolic]
-timeLimit = 500
+timeLimit = 600
 numberOfExecutors = 1
 numberOfConcreteMethods = 5