new big timeout

epfl-lara · Oct 16, 2024 · 8dc93f4 · 8dc93f4
1 parent 58468a0
commit 8dc93f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 
       }