diff --git a/prism/src/simulator/PathFull.java b/prism/src/simulator/PathFull.java index 60e5c613..3ccbceb2 100644 --- a/prism/src/simulator/PathFull.java +++ b/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 diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java index d8eb772d..edf99911 100644 --- a/prism/src/simulator/SimulatorEngine.java +++ b/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++) {