From 3d1fa3e2caceb1bcfd9e3301535ea35c0a9f3fa9 Mon Sep 17 00:00:00 2001
From: Francesco Casella <francesco.casella@polimi.it>
Date: Wed, 2 Apr 2025 18:50:40 +0200
Subject: [PATCH] Increased ClaRa timeouts

---
 configs/conf.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/configs/conf.json b/configs/conf.json
index 20b8f12..51dce44 100644
--- a/configs/conf.json
+++ b/configs/conf.json
@@ -230,6 +230,8 @@
   },
   {
     "library":"ClaRa",
+    "ulimitOmc":800,
+    "ulimitExe":800,
     "referenceFileExtension":"mat",
     "referenceFileNameDelimiter":".",
     "referenceFiles":{
@@ -241,6 +243,8 @@
   },
   {
     "library":"ClaRa",
+    "ulimitOmc":800,
+    "ulimitExe":800,
     "libraryVersion":"main",
     "libraryVersionNameForTests":"dev",
     "referenceFileExtension":"mat",