mlp conducts a valid variable analysis, but write set needs to be pruned down to...
[IRC.git] / Robust / src / Tests / mlp / tinyTest / test.java
1 public class Test {
2
3   public static void main( String args[] ) {
4
5     int n = 10;
6
7     sese top {     
8       int x = 0;
9       
10       for( int i = 0; i < 3; ++i ) {
11         sese iter {
12           x = x + i;
13         }
14       }      
15
16       int j = x + n;
17     }
18   }
19 }