new timeout for sat precond test

epfl-lara · Oct 16, 2024 · 58468a0 · 58468a0
1 parent ce2004e
commit 58468a0
Showing 1 changed file with 2 additions and 0 deletions.
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,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
   }