pass option in tests to not fail silently

epfl-lara · Dec 4, 2024 · dc8e674 · dc8e674
1 parent dc0dc0b
commit dc8e674
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/it/scala/inox/tip/TipTestSuite.scala b/src/it/scala/inox/tip/TipTestSuite.scala
@@ -10,11 +10,11 @@ import scala.language.existentials
 class TipTestSuite extends TestSuite with ResourceUtils {
 
   override def configurations = Seq(
-    Seq(optSelectedSolvers(Set("nativez3")),      optCheckModels(true)),
-    Seq(optSelectedSolvers(Set("smt-z3")),        optCheckModels(true)),
-    Seq(optSelectedSolvers(Set("smt-cvc4")),      optCheckModels(true)),
-    Seq(optSelectedSolvers(Set("smt-z3")),        optCheckModels(true), optAssumeChecked(true)),
-    Seq(optSelectedSolvers(Set("no-inc:smt-z3")), optCheckModels(true))
+    Seq(optSelectedSolvers(Set("nativez3")),      optSilentErrors(false), optCheckModels(true)),
+    Seq(optSelectedSolvers(Set("smt-z3")),        optSilentErrors(false), optCheckModels(true)),
+    Seq(optSelectedSolvers(Set("smt-cvc4")),      optSilentErrors(false), optCheckModels(true)),
+    Seq(optSelectedSolvers(Set("smt-z3")),        optSilentErrors(false), optCheckModels(true), optAssumeChecked(true)),
+    Seq(optSelectedSolvers(Set("no-inc:smt-z3")), optSilentErrors(false), optCheckModels(true))
   )
 
   override protected def optionsString(options: Options): String = {