Curious. Found a bug in liveness where liveIn set becomes empty erroneously. While...

[IRC.git] / Robust / src / Tests / mlp / tinyTest / test.java

diff --git a/Robust/src/Tests/mlp/tinyTest/test.java b/Robust/src/Tests/mlp/tinyTest/test.java
index 239734bb3c275f55df6124e3130475b130a58fb1..be14764f965b548da8ad3c77220187c22904d25d 100644 (file)
--- a/Robust/src/Tests/mlp/tinyTest/test.java
+++ b/Robust/src/Tests/mlp/tinyTest/test.java
@@ -1,24 +1,35 @@
 public class Test {
 
   public static void main( String args[] ) {
-    // no code is outside the root sese
-    // in the main method
-    sese root {
-      int n = 10;
-
-      sese top {     
-       int x = 0;
+    /*
+    int n = 10;
       
-       for( int i = 0; i < 3; ++i ) {
-         sese iter {
-           x = x + i;
-         }
-       }      
-       
-       int j = x + n;
-      }
+    sese top {     
+      int x = 0;
+      
+      for( int i = 0; i < 3; ++i ) {
+       sese iter {
+         x = x + i;
+       }
+      }        
+      
+      int j = x + n;
+    }
+    
+    int z = n + j;
+    */
+    
+    int x = 1;
+    int y = 1;
 
-      int z = n + j;
+    sese fi {
+      if( true ) {
+        x = y + 2;
+        y = 3;
+      }
     }
+
+    x = x + 1;
+    y = y + 1;
   }
 }