From 789b43938b93e05b377adf4464840574fc41014e Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Sat, 19 May 2018 19:29:22 +0200 Subject: [PATCH] explicit.FoxGlynn: exception message typos PrismException printing adds a '.', so we should not include it in the messagex --- prism/src/explicit/FoxGlynn.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/explicit/FoxGlynn.java b/prism/src/explicit/FoxGlynn.java index 96725180..d9eeb244 100644 --- a/prism/src/explicit/FoxGlynn.java +++ b/prism/src/explicit/FoxGlynn.java @@ -72,11 +72,11 @@ public final class FoxGlynn private final void run() throws PrismException { if (q_tmax == 0.0) { - throw new PrismException("Overflow: TA parameter qtmax = time * maxExitRate = 0."); + throw new PrismException("Overflow: TA parameter qtmax = time * maxExitRate = 0"); } if (accuracy < 1e-10) { - throw new PrismException("Overflow: Accuracy is smaller than Fox Glynn can handle (must be at least 1e-10)."); + throw new PrismException("Overflow: Accuracy is smaller than Fox Glynn can handle (must be at least 1e-10)"); } if (q_tmax < 400)