forgot to add moved files back in, injecting stall site taints now also

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

diff --git a/Robust/src/Tests/disjoint/taintTest1/test.java b/Robust/src/Tests/disjoint/taintTest1/test.java
index f573d4193fd3cbb652b8983aee384b023357f411..7c02d6b97d6a6a2836d3abf59d8a862c723d85d4 100644 (file)
--- a/Robust/src/Tests/disjoint/taintTest1/test.java
+++ b/Robust/src/Tests/disjoint/taintTest1/test.java
@@ -11,15 +11,18 @@ public class Test {
     Foo a = new Foo();
     Foo b = new Foo();
 
-    /*
     rblock r1 {
-      a.f = new Foo();
-    }
-    */
-    
-    rblock r1 {
-      doSomething( a, b );
+
+      rblock c1 {
+        a.f = new Foo();
+      }
+
+      Foo x = a.f;
+
+      x.g = new Foo();
     }
+
+
   }
 
   static void doSomething( Foo a, Foo b ) {