From a3041a9712bd5058e0bfec513c9656424b324759 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Wed, 25 Nov 2015 12:23:25 +0100
Subject: [PATCH] Extended softFromZ3Formula to catch NumberFormatException
---
src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala b/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
index aade14b4b..f9fe677fd 100644
--- a/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
+++ b/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
@@ -731,6 +731,7 @@ trait AbstractZ3Solver extends Solver {
} catch {
case e: Unsupported => None
case e: UnsoundExtractionException => None
+ case n: java.lang.NumberFormatException => None
}
}
--
GitLab