Bug fix in DTMCFromMDPAndMDStrategy, related to recent changes to suc…

…cessors info in explicit engine.
prismmodelchecker · Dec 27, 2017 · 748c097 · 748c097
1 parent 7edb481
commit 748c097
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/prism/src/explicit/DTMCFromMDPAndMDStrategy.java b/prism/src/explicit/DTMCFromMDPAndMDStrategy.java
@@ -123,7 +123,11 @@ public int getNumTransitions()
 
 	public SuccessorsIterator getSuccessors(final int s)
 	{
-		return mdp.getSuccessors(s, strat.getChoiceIndex(s));
+		if (strat.isChoiceDefined(s)) {
+			return mdp.getSuccessors(s, strat.getChoiceIndex(s));
+		} else {
+			return SuccessorsIterator.empty();
+		}
 	}
 
 	public int getNumChoices(int s)