From 720cde341d3d25424630d499e458c3f703a2ebca Mon Sep 17 00:00:00 2001
From: Frits Dannenberg <frits.dannenberg@cs.ox.ac.uk>
Date: Mon, 27 Jan 2014 12:16:57 +0000
Subject: [PATCH] small bug fix for extremely large right truncation points
 from Fox-Glynn in the FAU method

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7857 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/BirthProcess.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/explicit/BirthProcess.java b/prism/src/explicit/BirthProcess.java
index c8170881..7bd4fa61 100644
--- a/prism/src/explicit/BirthProcess.java
+++ b/prism/src/explicit/BirthProcess.java
@@ -246,7 +246,7 @@ public class BirthProcess
 			FoxGlynn fg = new FoxGlynn(qt, 1e-300, 1e+300, acc);
 			left = fg.getLeftTruncationPoint();
 			right = fg.getRightTruncationPoint();
-			if (right < 0) {
+			if (right < 0 || right == Integer.MAX_VALUE) {
 				throw new PrismException("Overflow in Fox-Glynn computation (time bound too big?)");
 			}
 			weights = fg.getWeights();