From 48890299eb2d4b4996474d4ca685919976c60582 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 10 Mar 2006 10:10:17 +0000 Subject: [PATCH] Bugfix: for CSL U>=0 properties. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@20 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/StochModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/StochModelChecker.java b/prism/src/prism/StochModelChecker.java index b30af650..5089ba55 100644 --- a/prism/src/prism/StochModelChecker.java +++ b/prism/src/prism/StochModelChecker.java @@ -1236,7 +1236,7 @@ public class StochModelChecker implements ModelChecker mainLog.print("\nDiagonals vector: ");JDD.PrintInfo(diags, allDDRowVars.n()); mainLog.print("Embedded Markov chain: ");JDD.PrintInfo(emb, allDDRowVars.n()*2); // compute probs - probs = computeUntilProbs(emb, trans01, b1, b1); + probs = computeUntilProbs(emb, trans01, b1, b2); JDD.Deref(diags); JDD.Deref(emb); }