From 13cc69804102a8510c11e2a8cf33ca12d6994712 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 27 Mar 2006 11:16:27 +0000
Subject: [PATCH] Tidy (remove redundant code) in simulator wrt samples which
 reach max path len.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@40 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/SimulatorEngine.java | 18 ------------------
 1 file changed, 18 deletions(-)

diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index 4389248e..cb278ae1 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -1611,14 +1611,6 @@ public class SimulatorEngine
 			// if we have already stored an error for this property, keep it as the result
 			if (!(results[i] instanceof SimulatorException))
 				results[i] = processSamplingResult((PCTLFormula)pctls.get(i), indices[i]);
-			if (indices[i] != -1) {
-				int noMaxReached = getNumReachedMaxPath(indices[i]);
-				if(noMaxReached > 0)
-				{
-					//Eventually print this in the log
-					//System.out.println("Warning: For property, "+((PCTLFormula)pctls.get(i)).toString()+"\n"+noMaxReached+" sample paths exceeded the maximum path length.\n");
-				}
-			}
 		}
 		
 		deallocateEngine();
@@ -1705,7 +1697,6 @@ public class SimulatorEngine
 		}
 		
 		// process the results
-		boolean warningGiven = false;
 		for(int i = 0; i < n; i++)
 		{
 			// if we have already stored an error for this property, keep it as the result, otherwise process
@@ -1713,15 +1704,6 @@ public class SimulatorEngine
 				results[i] = processSamplingResult(propertyToCheck, indices[i]);
 			// store it in the ResultsCollection
 			resultsCollection.setResult(undefinedConstants.getMFConstantValues(), pfcs[i], results[i]);
-			if (indices[i] != -1) {
-				int noMaxReached = getNumReachedMaxPath(indices[i]);
-				if(noMaxReached > 0)
-				{
-					//Eventually print this in the log
-					//System.out.println("Warning: Some sample paths for this experiment exceeded the maximum path length.\n");
-					warningGiven = true;
-				}
-			}
 		}
 		
 		deallocateEngine();