AWESOME. Used just the R relation of definite reach to successfully improve the...

[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 e3ef1b1fafb186e930b6be8a45b4c288608b39d4..df900914acf2e8dcf074329c27b58a1fcf4da9bc 100644 (file)
--- a/Robust/src/Tests/disjoint/definite/test.java
+++ b/Robust/src/Tests/disjoint/definite/test.java
@@ -9,22 +9,6 @@ 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 ) {
-      gendefreach QWQ2; 
-      z = z.f;
-    }
-
-    gendefreach QWQ3;
-
-    /*
     gendefreach yn1;    
 
     Foo x = getFlagged();
@@ -54,9 +38,8 @@ public class Test {
     // of objects y is reachable from.
     gendefreach y2;
     genreach y2;
-    */
 
-    System.out.println( " "+x+y+z );
+    System.out.println( " "+x+y );
   }
 
   static public Foo getFlagged() {