helpful progress reporting

[IRC.git] / Robust / src / Benchmarks / MMG / Nor / MMG.java

diff --git a/Robust/src/Benchmarks/MMG/Nor/MMG.java b/Robust/src/Benchmarks/MMG/Nor/MMG.java
index 827b42cde79adccf29d5003f6cb730c9323d05c5..72b7340f80d289189724db14dd86b508aa841246 100755 (executable)
--- a/Robust/src/Benchmarks/MMG/Nor/MMG.java
+++ b/Robust/src/Benchmarks/MMG/Nor/MMG.java
@@ -41,8 +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] = 60;
-       pacman.m_leftLives = pacman.m_leftLevels = 60;
+       map.m_leftLives[i] = map.m_leftLevels[i] = 20;
+       pacman.m_leftLives = pacman.m_leftLevels = 20;
     }
     
     map.m_ghostcount = 0;
@@ -102,7 +102,6 @@ task updatePac(Map map{updatePac}, /*optional*/ Pacman p{update}) {
        //System.printString("Pacman " + p.m_index + ": (" + map.m_pacMenX[p.m_index] + "," + map.m_pacMenY[p.m_index] + ")\n");
        boolean death = map.check(p);
     /*} else {
-       map.m_deathcount++;
        map.m_paccount++;
     }*/