add batch-mode script

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3Decoder / Player.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
index d0ef553aff75f90ffdf97367de116a20dd4077f1..568a249aff836c3d95e078b86000f660ece2005e 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
@@ -124,8 +124,7 @@ public class Player {
     System.out.println("Gobble sentinel: +++");\r
 \r
     // @LOC("IN") int count = 0;\r
-    SSJAVA: while (Counter.idx() < 2147483646) {\r
-      Counter.inc();\r
+    SSJAVA: while (true) {\r
       if (h == null) {\r
         break;\r
       }\r
@@ -207,8 +206,8 @@ public class Player {
       // @LOC("O") SampleBuffer output = (SampleBuffer) decoder.decodeFrame(h);\r
       decoder.decodeFrame(h);\r
 \r
-      DEBUG_OUTPUT_CHECKSUM();\r
-      // DEBUG_OUTPUT();\r
+     // DEBUG_OUTPUT_CHECKSUM();\r
+       DEBUG_OUTPUT();\r
       // synchronized (this)\r
       // {\r
       // out = audio;\r