From: jzhou <jzhou>
Date: Thu, 4 Sep 2008 19:46:38 +0000 (+0000)
Subject: minor changes
X-Git-Tag: buildscript^6~44
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0414eb85c4e89caf48ce768f530af5cb9f3cbf7f;p=IRC.git

minor changes
---

diff --git a/Robust/src/Benchmarks/MMG/Java/MMG.java b/Robust/src/Benchmarks/MMG/Java/MMG.java
index 781d9ff1..ebd3950d 100755
--- a/Robust/src/Benchmarks/MMG/Java/MMG.java
+++ b/Robust/src/Benchmarks/MMG/Java/MMG.java
@@ -33,8 +33,8 @@ public class MMG {
 	    map.m_desY[i] = ty*(i%2);
 	    map.m_pacOriX[i] = pacman.m_locX;
 	    map.m_pacOriY[i] = pacman.m_locY;
-	    map.m_leftLives[i] = map.m_leftLevels[i] = 10;
-	    pacman.m_leftLives = pacman.m_leftLevels = 10;
+	    map.m_leftLives[i] = map.m_leftLevels[i] = 60;
+	    pacman.m_leftLives = pacman.m_leftLevels = 60;
 	    map.m_pacmen[i] = pacman;
 	    //System.printString("destination: " + map.desX[i] + "," + map.desY[i] + "\n");
 	}
@@ -85,6 +85,6 @@ public class MMG {
 	    map.m_deathcount = 0;
 	}
 	
-	System.printString("Task Finish\n");
+	//System.printString("Task Finish\n");
     }
 }
diff --git a/Robust/src/Benchmarks/MMG/Nor/MMG.java b/Robust/src/Benchmarks/MMG/Nor/MMG.java
index 332a8847..827b42cd 100755
--- a/Robust/src/Benchmarks/MMG/Nor/MMG.java
+++ b/Robust/src/Benchmarks/MMG/Nor/MMG.java
@@ -41,7 +41,8 @@ task initMap(Map map{init}) {
 	map.m_desY[i] = ty*(i%2);
 	map.m_pacOriX[i] = pacman.m_locX;
 	map.m_pacOriY[i] = pacman.m_locY;
-	map.m_leftLives[i] = map.m_leftLevels[i] = 10;
+	map.m_leftLives[i] = map.m_leftLevels[i] = 60;
+	pacman.m_leftLives = pacman.m_leftLevels = 60;
     }
     
     map.m_ghostcount = 0;
@@ -151,6 +152,6 @@ task next(Map map{next}) {
 }
 
 task finish(Map map{finish}) {
-    System.printString("Task Finish\n");
+    //System.printString("Task Finish\n");
     taskexit(map{!finish});
 }
diff --git a/Robust/src/Benchmarks/MMG/Tag/MMG.java b/Robust/src/Benchmarks/MMG/Tag/MMG.java
index f5d5571e..1b2adf68 100755
--- a/Robust/src/Benchmarks/MMG/Tag/MMG.java
+++ b/Robust/src/Benchmarks/MMG/Tag/MMG.java
@@ -31,8 +31,8 @@ task initMap(Map map{init}) {
 	  map.m_desY[i] = ty*(i%2);
 	  map.m_pacOriX[i] = pacman.m_locX;
 	  map.m_pacOriY[i] = pacman.m_locY;
-	  map.m_leftLives[i] = map.m_leftLevels[i] = 10;
-	  pacman.m_leftLives = pacman.m_leftLevels = 10;
+	  map.m_leftLives[i] = map.m_leftLevels[i] = 60;
+	  pacman.m_leftLives = pacman.m_leftLevels = 60;
 	  //map.m_destinationX[i] = pacman.m_locX;
 	  //map.m_destinationY[i] = pacman.m_locY;
     }
@@ -150,6 +150,6 @@ task next(Map map{next}) {
 }
 
 task finish(Map map{finish}) {
-    System.printString("Task Finish\n");
+    //System.printString("Task Finish\n");
     taskexit(map{!finish});
-}
\ No newline at end of file
+}