changes and data/eval files for new evaluations

[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 568a249aff836c3d95e078b86000f660ece2005e..1e82e90753e82ae1a738ac7a8ea493bc08e1a35b 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
@@ -202,12 +202,12 @@ public class Player {
       // if (h == null){\r
       // return false;\r
       // }\r
-\r
+      \r
       // @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