minor changes

diff --git a/Robust/src/Benchmarks/MMG/Java/MMG.java b/Robust/src/Benchmarks/MMG/Java/MMG.java
index 781d9ff128a7effec6859808f75469ff4cde84ad..ebd3950dbcf24b688f13c2e44ec74d5f3698bb50 100755 (executable)
--- 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);\r
            map.m_pacOriX[i] = pacman.m_locX;\r
            map.m_pacOriY[i] = pacman.m_locY;\r
-           map.m_leftLives[i] = map.m_leftLevels[i] = 10;\r
-           pacman.m_leftLives = pacman.m_leftLevels = 10;\r
+           map.m_leftLives[i] = map.m_leftLevels[i] = 60;\r
+           pacman.m_leftLives = pacman.m_leftLevels = 60;\r
            map.m_pacmen[i] = pacman;\r
            //System.printString("destination: " + map.desX[i] + "," + map.desY[i] + "\n");\r
        }\r
@@ -85,6 +85,6 @@ public class MMG {
            map.m_deathcount = 0;\r
        }\r
        \r
-       System.printString("Task Finish\n");\r
+       //System.printString("Task Finish\n");\r
     }\r
 }\r

diff --git a/Robust/src/Benchmarks/MMG/Nor/MMG.java b/Robust/src/Benchmarks/MMG/Nor/MMG.java
index 332a88478e1392fde825d239b4678462168402be..827b42cde79adccf29d5003f6cb730c9323d05c5 100755 (executable)
--- 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 f5d5571e72c81c427850a772528096d40f921fc9..1b2adf6810e951fce958e6372f1485c4d31bb420 100755 (executable)
--- 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
+}