Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Counter.java

   1 public class Counter {
   2
   3   static int idx = 0;
   4
   5   @TRUST
   6   static boolean inc() {
   7     idx++;
   8   }
   9
  10   @TRUST
  11   static int idx() {
  12     return idx;
  13   }
  14
  15 }