From dc4c29e9458ac600e8fe6a34ff3243fad5e53f05 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 4 Feb 2020 11:06:02 +0000
Subject: [PATCH] Small change in simulator path initialisation.

The current order of initialisation events breaks PRISM-games.
---
 prism/src/simulator/SimulatorEngine.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index 5ef4a596..4878d9ed 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -302,11 +302,12 @@ public class SimulatorEngine extends PrismComponent
 				throw new PrismNotSupportedException("Random choice of multiple initial states not yet supported");
 			}
 		}
-		// Start model exploration and get initial state reward
-		computeTransitionsForState(currentState);
+		// Get initial state reward
 		calculateStateRewards(currentState, tmpStateRewards);
 		// Initialise stored path
 		path.initialise(currentState, tmpStateRewards);
+		// Explore initial state in model generator
+		computeTransitionsForState(currentState);
 		// Reset and then update samplers for any loaded properties
 		resetSamplers();
 		updateSamplers();