From 929079a08b98b882df80c6c2552493aa6bc67fac Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 16 May 2020 00:06:00 +0100
Subject: [PATCH] Show error if trying to build unsupported models
 symbolically.

---
 prism/src/prism/Modules2MTBDD.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/prism/src/prism/Modules2MTBDD.java b/prism/src/prism/Modules2MTBDD.java
index c0164430..bb9b47ab 100644
--- a/prism/src/prism/Modules2MTBDD.java
+++ b/prism/src/prism/Modules2MTBDD.java
@@ -191,6 +191,11 @@ public class Modules2MTBDD
 		synchs = modulesFile.getSynchs();
 		numSynchs = synchs.size();
 		
+		// check model type is supported
+		if (!(modelType == ModelType.DTMC || modelType == ModelType.MDP || modelType == ModelType.CTMC)) {
+			throw new PrismException("Symbolic construction of " + modelType + "s not supported");
+		}
+		
 		// allocate dd variables
 		allocateDDVars();
 		sortDDVars();