prism.ECComputer: SanityJDD checks

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11535 bbc10eb1-c90d-0410-af57-cb519fbb1720
10 years ago · 36f4e3f81f
1 changed files with 6 additions and 0 deletions
--- a/prism/src/prism/ECComputer.java
+++ b/prism/src/prism/ECComputer.java
@ -86,6 +86,12 @@ public abstract class ECComputer extends PrismComponent
 		this.allDDColVars = allDDColVars;
 		this.allDDNondetVars = allDDNondetVars;
 		sumRoundOff = settings.getDouble(PrismSettings.PRISM_SUM_ROUND_OFF);
+
+		if (jdd.SanityJDD.enabled) {
+			jdd.SanityJDD.checkIsDDOverVars(trans, allDDRowVars, allDDColVars, allDDNondetVars);
+			jdd.SanityJDD.checkIsDDOverVars(trans01, allDDRowVars, allDDColVars, allDDNondetVars);
+			jdd.SanityJDD.checkIsDDOverVars(reach, allDDRowVars);
+		}
 	}

 	/**