changes and data/eval files for new evaluations

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/Bitstream.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/Bitstream.java
index 2af59207a56bcce2c26e335eaca1180c8ce56cfb..02a65a053bb3da19fbedfb92bb8027f0bceb1cbc 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/Bitstream.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/Bitstream.java
@@ -742,6 +742,8 @@ public final class Bitstream implements BitstreamErrors {
     for (; bytes_to_discard > 0; bytes_to_discard--)
       br.hgetbits(8);
 
+    // resynch index by trusted code
+    br.buf_byte_idx = br.totbit % br.BUFSIZE;
     return br;
   }
 }