From 52857d270171fec8b394328cb85e80c3fb071d8d Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 4 Mar 2020 16:32:17 +0100
Subject: [PATCH] FoxGlyn: Print an error message instead of throwing an
exception in cases where an underflow is possible.
---
src/storm/utility/numerical.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storm/utility/numerical.cpp b/src/storm/utility/numerical.cpp
index 9c17928ab..2c40d7680 100644
--- a/src/storm/utility/numerical.cpp
+++ b/src/storm/utility/numerical.cpp
@@ -219,7 +219,7 @@ namespace storm {
// Fill the right side of the array, have two cases lambda < 400 & lambda >= 400.
if (m < 400) {
// Perform the underflow check, according to Fox-Glynn.
- STORM_LOG_THROW(result.right <= 600, storm::exceptions::PrecisionExceededException, "Fox-Glynn: " << result.right << " > 600, underflow is possible.");
+ STORM_LOG_ERROR_COND(result.right <= 600, "Fox-Glynn: " << result.right << " > 600, underflow is possible.");
// Compute weights.
for (j = m - result.left; j < t; ++j) {