analysis collects effects per method and interprocedurally

[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 4ec6d2ab2a8f9217564ae4b0aaaa473aca149f44..f0f9b02a3a4993c475d625979f5a0a82ec9e1d06 100644 (file)
--- a/Robust/src/Tests/disjoint/taintTest1/test.java
+++ b/Robust/src/Tests/disjoint/taintTest1/test.java
@@ -12,19 +12,17 @@ public class Test {
     Foo b = new Foo();
 
     /*
-    if( false ) {
-      a = new Foo();
+    rblock r1 {
+      a.f = new Foo();
     }
     */
-
+    
     rblock r1 {
       a.f = new Foo();
-
       b.f = new Foo();
 
       doSomething( a, b );
     }
-   
   }
 
   static void doSomething( Foo a, Foo b ) {