From 733734d4972f38a5d1c990e1aa6fd57138cb9d18 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 4 Jan 2021 23:49:02 +0000
Subject: [PATCH] Allow random simulation for LTSs (intended for GUI simulator
 exploration).

---
 prism/src/simulator/SimulatorEngine.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index bdf65b9a..9fc29dcd 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -391,6 +391,12 @@ public class SimulatorEngine extends PrismComponent
 			// Execute
 			executeTimedTransition(ref.i, ref.offset, rng.randomExpDouble(r), -1);
 			break;
+		case LTS:
+			// Pick a random choice
+			i = rng.randomUnifInt(modelGen.getNumChoices());
+			// Execute
+			executeTransition(i, 0, -1);
+			break;
 		default:
 			throw new PrismNotSupportedException(modelType + " not supported");
 		}