From 8e9916b89f4445cf585f52e213124178db7a2715 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 22 May 2013 19:52:59 +0000 Subject: [PATCH] Silly bug fix for R[I] and R[C] on DTMCs in explicit engine. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6795 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/DTMCModelChecker.java | 2 -- 1 file changed, 2 deletions(-) diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java index f9e0f416..04117d72 100644 --- a/prism/src/explicit/DTMCModelChecker.java +++ b/prism/src/explicit/DTMCModelChecker.java @@ -308,7 +308,6 @@ public class DTMCModelChecker extends ProbModelChecker tmpsoln = soln; soln = soln2; soln2 = tmpsoln; - iters++; } // Finished backwards transient computation @@ -356,7 +355,6 @@ public class DTMCModelChecker extends ProbModelChecker tmpsoln = soln; soln = soln2; soln2 = tmpsoln; - iters++; } // Finished backwards transient computation