From 503d33a01cc31006e18ed3a7148da106626f05ac Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 23 Aug 2011 19:38:02 +0000 Subject: [PATCH] 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 | 2 +- prism/src/simulator/SimulatorEngine.java | 2 -- 2 files changed, 1 insertion(+), 3 deletions(-) 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++) {