Bugfix: simulatino for experiments was disabled.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2254 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 9f5d37ffa3
1 changed files with 1 additions and 2 deletions
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@ -1284,8 +1284,7 @@ public class SimulatorEngine

 		// as long as there are at least some valid props, do sampling
 		if (validPropsCount > 0) {
-			initialisePath(initialState);
-			//doSampling(noIterations, maxPathLength);
+			doSampling(initialState, noIterations, maxPathLength);
 		}

 		// process the results