Fail silently solvers by default (#227)

epfl-lara · Dec 4, 2024 · 854bcdf · 854bcdf
1 parent 30c142c
commit 854bcdf
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 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 = {

diff --git 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")