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

@@ -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: