Bug fixes for loading zero-length paths into simulator.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3529 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/simulator/PathFull.java

@@ -233,7 +233,7 @@ public class PathFull extends Path implements PathFullInfo
 	@Override
 	public double getTotalTime()
 	{
-		return steps.get(steps.size() - 1).timeCumul;
+		return size < 1 ? 0.0 : steps.get(steps.size() - 1).timeCumul;
 	}
 
 	@Override

prism/src/simulator/SimulatorEngine.java

@@ -449,8 +449,6 @@ public class SimulatorEngine
 		State state, nextState;
 		createNewPath(modulesFile);
 		numSteps = newPath.size();
-		if (numSteps == 0)
-			return;
 		state = newPath.getState(0);
 		initialisePath(state);
 		for (i = 0; i < numSteps; i++) {