Robust/src/Tests/ssJava/infer/test.java

   1 public class test{
   2
   3     @LATTICE("OUT<IN")
   4         public static void main (@LOC("IN") String args[]){
   5         test t=new test();
   6         int i=0;
   7         SSJAVA:
   8         while(i<100){
   9             t.doit();
  10             i++;
  11         }
  12     }
  13
  14     @LATTICE("")
  15     public void doit(){
  16         int a;
  17         int b;
  18         a = 5;
  19         b = a;
  20     }
  21
  22 }