diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java index 13b9da57..38c4bc44 100644 --- a/prism/src/simulator/SimulatorEngine.java +++ b/prism/src/simulator/SimulatorEngine.java @@ -1723,7 +1723,7 @@ public class SimulatorEngine extends PrismComponent break; // Display progress (of slowest property) - percentageDone = 0; + percentageDone = 100; for (Sampler sampler : propertySamplers) { percentageDone = Math.min(percentageDone, sampler.getSimulationMethod().getProgress(iters, sampler)); }