From 8dc93f41a84cc604608f2c9770ab93e755826c61 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <samuel.chassot@epfl.ch>
Date: Wed, 16 Oct 2024 14:48:19 +0200
Subject: [PATCH] new big timeout

---
 .../stainless/verification/SatPrecondVerificationSuite.scala    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/common/src/it/scala/stainless/verification/SatPrecondVerificationSuite.scala b/frontends/common/src/it/scala/stainless/verification/SatPrecondVerificationSuite.scala
index 18edadc8e..447f3d653 100644
--- a/frontends/common/src/it/scala/stainless/verification/SatPrecondVerificationSuite.scala
+++ b/frontends/common/src/it/scala/stainless/verification/SatPrecondVerificationSuite.scala
@@ -46,7 +46,7 @@ class SatPrecondVerificationSuite extends VerificationComponentTestSuite {
             inox.optSelectedSolvers(Set(solver)),
             inox.solvers.optCheckModels(true),
             evaluators.optCodeGen(codeGen),
-            inox.optTimeout(4.seconds),
+            inox.optTimeout(30.seconds),
             inox.solvers.unrolling.optFeelingLucky(codeGen)) ++ seq
             
       }