From 88c49d8d690bb2f6151d0dc6d90a5e2ed2f8b5b0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 24 May 2010 10:01:30 +0000 Subject: [PATCH] Uniformisation bugfix in explicit engine. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1907 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/CTMCModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/explicit/CTMCModelChecker.java b/prism/src/explicit/CTMCModelChecker.java index 4c869152..145acfb5 100644 --- a/prism/src/explicit/CTMCModelChecker.java +++ b/prism/src/explicit/CTMCModelChecker.java @@ -149,7 +149,7 @@ public class CTMCModelChecker extends DTMCModelChecker // Start iterations iters = 1; - while (iters < right) { + while (iters <= right) { // Matrix-vector multiply dtmc.mvMult(soln, soln2, target, true); // Swap vectors for next iter