fail silently solvers by default

epfl-lara · Dec 4, 2024 · dc0dc0b · dc0dc0b
1 parent 30c142c
commit dc0dc0b
Showing 1 changed file with 1 addition and 1 deletion.
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")