Robust/src/Benchmarks/TileSearch/Tag/GlobalCounter.java

   1 public class GlobalCounter {
   2     flag Init;
   3     public int counter;
   4
   5     public GlobalCounter() {
   6         counter = 0;
   7     }
   8 }