Do effects as a global space, don't even need to consider call site transform, taints...

[IRC.git] / Robust / src / Tests / disjoint / taintTest1 / makefile

diff --git a/Robust/src/Tests/disjoint/taintTest1/makefile b/Robust/src/Tests/disjoint/taintTest1/makefile
index 75ab66b00d1a89df5257312492fc65a8b53c1f2e..ec24f5e6995ca0da1f5e8e5046aba60c63b0b00a 100644 (file)
--- a/Robust/src/Tests/disjoint/taintTest1/makefile
+++ b/Robust/src/Tests/disjoint/taintTest1/makefile
@@ -5,7 +5,7 @@ SOURCE_FILES=$(PROGRAM).java
 BUILDSCRIPT=~/research/Robust/src/buildscript
 
 BSFLAGS= -mainclass Test -justanalyze -ooojava -disjoint -disjoint-k 1 -enable-assertions
-DEBUGFLAGS= -disjoint-write-dots final -disjoint-write-initial-contexts -disjoint-write-ihms -disjoint-debug-snap-method main 0 10 true
+DEBUGFLAGS= #-disjoint-write-dots final -disjoint-write-initial-contexts -disjoint-write-ihms -disjoint-debug-snap-method main 0 10 true
 
 all: $(PROGRAM).bin
 
@@ -27,4 +27,4 @@ clean:
        rm -f  *.dot
        rm -f  *.png
        rm -f  aliases.txt
-       rm -f  effects-per-method.txt
+       rm -f  effects.txt