X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FTests%2Fdisjoint%2Fdefinite%2Ftest.java;fp=Robust%2Fsrc%2FTests%2Fdisjoint%2Fdefinite%2Ftest.java;h=5970eff5189c692518ca1f3639b8f167b81df45e;hb=b0fdc59140f9146fc7cfcc318a3923086d82a54b;hp=cb4238bd7237a3da57d05851ddcabff9398672e8;hpb=5f08ace513c32bfe551f4a883812b80d55cb2926;p=IRC.git

diff --git a/Robust/src/Tests/disjoint/definite/test.java b/Robust/src/Tests/disjoint/definite/test.java
index cb4238bd..5970eff5 100644
--- a/Robust/src/Tests/disjoint/definite/test.java
+++ b/Robust/src/Tests/disjoint/definite/test.java
@@ -8,6 +8,22 @@ public class Test {
   
 
   static public void main( String args[] ) {
+
+    Foo x = getFlagged();
+    Foo y = getUnflagged();
+
+    x.f = y;
+
+    gendefreach QWQ1; 
+
+    Foo z = x;
+    while( false ) {
+      z = z.f;
+    }
+
+    gendefreach QWQ2;
+
+    /*
     gendefreach yn1;    
 
     Foo x = getFlagged();
@@ -37,9 +53,9 @@ public class Test {
     // of objects y is reachable from.
     gendefreach y2;
     genreach y2;
+    */
 
-
-    System.out.println( x+","+y );
+    System.out.println( " "+x+y+z );
   }
 
   static public Foo getFlagged() {