changes and data/eval files for new evaluations

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java
index 15f4a068c2f5058091e0a1fa8f0c3e49aebe70f6..83ba5dfa4ed4c20e76de495c0b150c2aba4267c0 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java
@@ -56,10 +56,10 @@ final class BitReserve {
   private int offset;\r
 \r
   @LOC("BIT")\r
-  private int totbit;\r
+  public int totbit;\r
 \r
   @LOC("BIT")\r
-  private int buf_byte_idx;\r
+  public int buf_byte_idx;\r
 \r
   @LOC("BIT")\r
   private final int[] buf;\r
@@ -93,14 +93,12 @@ final class BitReserve {
 \r
     @LOC("THIS,BitReserve.BIT") int pos = buf_byte_idx;\r
     if (pos + N < BUFSIZE) {\r
-      TERMINATE:\r
-      while (N-- > 0) {\r
+      TERMINATE: while (N-- > 0) {\r
         val <<= 1;\r
         val |= ((buf[pos++] != 0) ? 1 : 0);\r
       }\r
     } else {\r
-      TERMINATE:\r
-      while (N-- > 0) {\r
+      TERMINATE: while (N-- > 0) {\r
         val <<= 1;\r
         val |= ((buf[pos] != 0) ? 1 : 0);\r
         pos = (pos + 1) & BUFSIZE_MASK;\r