Change in conflict tracker!
[jpf-core.git] / examples / Rand.java
1 import java.util.Random;
2
3 public class Rand {
4      public static void main (String[] args) {
5           Random random = new Random(42);      // (1)
6           
7           int a = random.nextInt(2);           // (2)
8           System.out.println("a=" + a);
9           
10           //... lots of code here
11           
12           int b = random.nextInt(3);           // (3)
13           System.out.println("  b=" + b);
14          
15           int c = a/(b+a -2);                  // (4)
16           System.out.println("    c=" + c);         
17      }
18 }