From 904545901dbfa083f66c926cdfffb3629e56ad3e Mon Sep 17 00:00:00 2001
From: Azat Abdullin <azat.aam@gmail.com>
Date: Tue, 9 Jan 2024 15:43:57 +0100
Subject: [PATCH] trying to reduce test time budget for symbolic mode

---
 kex-test.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kex-test.ini b/kex-test.ini
index 131d89212..651e8d62c 100644
--- 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