ignore sat-precondition/valid/SATPrecond4 with Princess

epfl-lara · Oct 16, 2024 · 7e167f8 · 7e167f8
1 parent 8dc93f4
commit 7e167f8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/frontends/common/src/it/scala/stainless/verification/SatPrecondVerificationSuite.scala b/frontends/common/src/it/scala/stainless/verification/SatPrecondVerificationSuite.scala
@@ -19,7 +19,7 @@ class SatPrecondVerificationSuite extends VerificationComponentTestSuite {
     Set()
 
   private val ignorePrincess: Set[String] = ignoreCommon ++
-    Set()
+    Set("sat-precondition/valid/SATPrecond4")
 
   private val ignoreCodegen: Set[String] = Set()
 
@@ -46,7 +46,7 @@ class SatPrecondVerificationSuite extends VerificationComponentTestSuite {
             inox.optSelectedSolvers(Set(solver)),
             inox.solvers.optCheckModels(true),
             evaluators.optCodeGen(codeGen),
-            inox.optTimeout(30.seconds),
+            inox.optTimeout(3.seconds),
             inox.solvers.unrolling.optFeelingLucky(codeGen)) ++ seq
 
       }