From 6e345734d5f16c4688b2878c36783f10cfbd10b8 Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Thu, 5 Feb 2009 14:50:32 +0000
Subject: [PATCH] fix bug command line path generation in presence of deadlock

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@929 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/SimulatorEngine.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index b9758900..52571621 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -256,7 +256,7 @@ public class SimulatorEngine
 	 * Load jni stuff from shared library
 	 */
 	static {
-		try {
+		try {			
 			System.loadLibrary("simengine");
 		} catch (UnsatisfiedLinkError e) {
 			System.out.println(e);
@@ -2020,11 +2020,11 @@ public class SimulatorEngine
 				// check for termination (depending on type)
 				switch (simPathType) {
 				case SIM_PATH_NUM_STEPS:
-					if (i >= simPathLength)
+					if (i >= simPathLength || queryIsDeadlock() == 1)
 						done = true;
 					break;
 				case SIM_PATH_TIME:
-					if (t >= simPathTime || i >= maxPathLength)
+					if (t >= simPathTime || i >= maxPathLength || queryIsDeadlock() == 1)
 						done = true;
 					break;
 				case SIM_PATH_DEADLOCK: