fix silly off-by-one bug

[IRC.git] / Robust / src / Tests / disjoint / definite / test.java

diff --git a/Robust/src/Tests/disjoint/definite/test.java b/Robust/src/Tests/disjoint/definite/test.java
index cb4238bd7237a3da57d05851ddcabff9398672e8..5970eff5189c692518ca1f3639b8f167b81df45e 100644 (file)
--- 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() {