From 55899baab566f7458bf02105299387f4714c4a28 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 25 Oct 2010 09:29:32 +0000
Subject: [PATCH] Simulator bug: picking wrong random choice in CTMCs with
 multi-update commands (e.g. DTMCs seen as CTMCs).

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

diff --git a/prism/src/simulator/TransitionList.java b/prism/src/simulator/TransitionList.java
index 876344fe..b72626bc 100644
--- a/prism/src/simulator/TransitionList.java
+++ b/prism/src/simulator/TransitionList.java
@@ -178,7 +178,7 @@ public class TransitionList
 		// Pick transition within choice 
 		choice = getChoice(i - 1);
 		if (choice.size() > 1) {
-			ref.offset = choice.getIndexByProbabilitySum(tot - d);
+			ref.offset = choice.getIndexByProbabilitySum(x - (tot - d));
 		} else {
 			ref.offset = 0;
 		}