a bug, fix it later

diff --git a/Robust/src/Tests/disjoint/cc-paper-example/test.java b/Robust/src/Tests/disjoint/cc-paper-example/test.java
index ce6644c6d71859b5ac4a8b77ce953636e7b8eb51..f81af20ef7461edaf408b681a99ce94b68ff5db2 100644 (file)
--- a/Robust/src/Tests/disjoint/cc-paper-example/test.java
+++ b/Robust/src/Tests/disjoint/cc-paper-example/test.java
@@ -19,13 +19,35 @@ public class Test {
   }
 
   static public void main( String[] args ) {
-    Graph g  = disjoint G new Graph();
-    Node  u  = nodeFactory();
-    Node  v  = nodeFactory();
-    Config c = disjoint C new Config();
-
-    g.n = u;
-    u.n = v; u.c = c;
-    v.n = u; v.c = c;
+    //Graph[] a = new Graph[3];
+
+    for( int i = 0; i < 3; ++i ) {
+      Graph g  = disjoint G new Graph();
+
+      Node  u  = nodeFactory();
+      Node  v  = nodeFactory();
+
+      //Node u = disjoint U new Node();
+      //Node v = disjoint V new Node();
+
+      //Node u=null;
+      //      Node v=null;
+      //      do {
+      //        u = v;
+      //        v = disjoint N new Node();
+      //      } while(false);
+
+      genreach p0;
+
+      Config c = disjoint C new Config();
+
+      g.n = u;
+      u.n = v; u.c = c;
+      v.n = u; v.c = c;
+
+      //a[i] = g;
+    }
+    
+    //System.out.println( a );
   }
 }