Bug fix in computation (and therefore display) of progress percentage during statistical model checking.

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

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));
 			}