Robust/src/Benchmarks/SSJava/JavaNator/RandomWrapper.java

   1 public class RandomWrapper {
   2   private static Random rand;
   3
   4   @TRUST
   5   public static void init() {
   6     rand = new Random();
   7   }
   8
   9   @TRUST
  10   public static int nextInt() {
  11     return rand.nextInt();
  12   }
  13
  14 }