From f6d6b254ebe7dca5c774ad2afe6331af8934f5b6 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Fri, 11 Nov 2016 17:28:05 +0100
Subject: [PATCH] Catch StackOverflowError on HUGE models during extraction
---
src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala b/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
index 755ed3dc9..3d38e54a8 100644
--- a/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
+++ b/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
@@ -73,8 +73,8 @@ trait SMTLIBSolver extends Solver with SMTLIBTarget with SMTLIBDebugger {
val value = fromSMT(e, v.getType)(Map(), modelFunDefs)
Some(v.toVal -> value)
} catch {
- case _: Unsupported =>
- None
+ case _: Unsupported => None
+ case _: java.lang.StackOverflowError => None
}
case _ => None
}.toMap
--
GitLab