From dc0dc0b91f3d3359dd0b301fdabcd3fd8b035b4a Mon Sep 17 00:00:00 2001 From: Samuel Chassot Date: Wed, 4 Dec 2024 11:35:24 +0100 Subject: [PATCH] fail silently solvers by default --- src/main/scala/inox/solvers/Solver.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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")