From eb017f950c97d517687a2544cd9a78006703ebd3 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 21 Jul 2016 13:17:19 +0000
Subject: [PATCH] prism.SCCComputer: SanityJDD checks

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11536 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/SCCComputer.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/prism/src/prism/SCCComputer.java b/prism/src/prism/SCCComputer.java
index dce8e03b..02c12f8b 100644
--- a/prism/src/prism/SCCComputer.java
+++ b/prism/src/prism/SCCComputer.java
@@ -104,6 +104,11 @@ public abstract class SCCComputer extends PrismComponent
 		this.reach = reach;
 		this.allDDRowVars = allDDRowVars;
 		this.allDDColVars = allDDColVars;
+
+		if (jdd.SanityJDD.enabled) {
+			jdd.SanityJDD.checkIsDDOverVars(trans01, allDDRowVars, allDDColVars);
+			jdd.SanityJDD.checkIsDDOverVars(reach, allDDRowVars);
+		}
 	}
 
 	/**