From 36f4e3f81f9e617a4f67bdedb130d48658dd49ca Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 21 Jul 2016 13:16:55 +0000 Subject: [PATCH] prism.ECComputer: SanityJDD checks git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11535 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/ECComputer.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/prism/src/prism/ECComputer.java b/prism/src/prism/ECComputer.java index f9be15b7..191bd723 100644 --- 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); + } } /**