From: bdemsky <bdemsky>
Date: Tue, 18 Mar 2008 07:07:12 +0000 (+0000)
Subject: check in changes
X-Git-Tag: preEdgeChange~227
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0ac0646d10322d87abc891d464e5c214c4835a9f;p=IRC.git

check in changes
---

diff --git a/Robust/src/Benchmarks/PERT/Java/Stage.java b/Robust/src/Benchmarks/PERT/Java/Stage.java
index cd275912..e78f79cc 100644
--- a/Robust/src/Benchmarks/PERT/Java/Stage.java
+++ b/Robust/src/Benchmarks/PERT/Java/Stage.java
@@ -30,20 +30,20 @@ public class Stage {
 			int tmp = samplings[samplings.length];
 		}*/
 
-	/*Random r = new Random();
+	Random r = new Random(ID);
 	int tint = 0;
 	for(int i = 0; i < this.samplings.length; ++i) {
 	    do {
 		tint = r.nextInt()%50;
 	    } while(tint <= 0);
 	    this.samplings[i] = tint;
-	    //System./*out.print*///printString(tint + "; ");
-//	}
-    int tint = ID * 3;
-	for(int i = 0; i < this.samplings.length; ++i) {
-		this.samplings[i] = tint + i;
-		//System.printString(tint + "; ");
+	    //System./*out.print*/printString(tint + "; ");
 	}
+	//int tint = ID * 3;
+	//for(int i = 0; i < this.samplings.length; ++i) {
+	//	this.samplings[i] = tint + i;
+		//System.printString(tint + "; ");
+	//}
 	//System.printString("\n");//out.println();
     }
 
diff --git a/Robust/src/Benchmarks/PERT/Tag/Stage.java b/Robust/src/Benchmarks/PERT/Tag/Stage.java
index 9791ffa2..19f45a19 100644
--- a/Robust/src/Benchmarks/PERT/Tag/Stage.java
+++ b/Robust/src/Benchmarks/PERT/Tag/Stage.java
@@ -32,7 +32,7 @@ public class Stage {
 			int tmp = samplings[samplings.length];
 		}*/
 
-	/*Random r = new Random();
+	Random r = new Random(ID);
 	int tint = 0;
 	for(int i = 0; i < this.samplings.length; ++i) {
 	    do {
@@ -40,12 +40,12 @@ public class Stage {
 	    } while(tint <= 0);
 	    this.samplings[i] = tint;
 	    //System.printString(tint + "; ");
-	}*/
-	int tint = ID * 3;
-	for(int i = 0; i < this.samplings.length; ++i) {
-		this.samplings[i] = tint + i;
-		//System.printString(tint + "; ");
 	}
+	//int tint = ID * 3;
+	//for(int i = 0; i < this.samplings.length; ++i) {
+	//this.samplings[i] = tint + i;
+		//System.printString(tint + "; ");
+	//}
 	//System.printString("\n");
     }