From 58468a0a817777525be20d5a211e6a7ab408e977 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <samuel.chassot@epfl.ch>
Date: Wed, 16 Oct 2024 13:42:04 +0200
Subject: [PATCH] new timeout for sat precond test

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

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