From 1d86f7680a3800e18adbb834f1e138bd68293f07 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 16 Jun 2011 19:50:46 +0000
Subject: [PATCH] One more setting (max iters) passed to explicit engine.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3094 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/PrismExplicit.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/explicit/PrismExplicit.java b/prism/src/explicit/PrismExplicit.java
index c6f95c4c..4953959b 100644
--- a/prism/src/explicit/PrismExplicit.java
+++ b/prism/src/explicit/PrismExplicit.java
@@ -135,6 +135,7 @@ public class PrismExplicit
 			mc.setTermCrit(StateModelChecker.TermCrit.RELATIVE);
 		}
 		mc.setTermCritParam(settings.getDouble(PrismSettings.PRISM_TERM_CRIT_PARAM));
+		mc.setMaxIters(settings.getInteger(PrismSettings.PRISM_MAX_ITERS));
 		switch (model.getModelType()) {
 		case DTMC:
 			s = settings.getString(PrismSettings.PRISM_LIN_EQ_METHOD);