diff --git a/src/it/scala/inox/tip/TipTestSuite.scala b/src/it/scala/inox/tip/TipTestSuite.scala
index c23e619ea..ff671b84d 100644
--- 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 = {
diff --git a/src/main/scala/inox/solvers/Solver.scala b/src/main/scala/inox/solvers/Solver.scala
index b28f85d0a..e5cfb5b87 100644
--- a/src/main/scala/inox/solvers/Solver.scala
+++ b/src/main/scala/inox/solvers/Solver.scala
@@ -7,7 +7,7 @@ import utils._
 
 object optCheckModels  extends FlagOptionDef("check-models", false)
 object optIgnoreModels extends FlagOptionDef("ignore-models", false)
-object optSilentErrors extends FlagOptionDef("silent-errors", false)
+object optSilentErrors extends FlagOptionDef("silent-errors", true)
 
 case object DebugSectionSolver extends DebugSection("solver")