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();