def reach has to use PointerMethod to detect CFG edges that the analysis cares about

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

diff --git a/Robust/src/Tests/disjoint/definite/makefile b/Robust/src/Tests/disjoint/definite/makefile
index 7cebad31ae9bb3351d67d6874a1350f5ad43460c..462f41d4916fe10d42cf6a945a930ae16dfab82b 100644 (file)
--- a/Robust/src/Tests/disjoint/definite/makefile
+++ b/Robust/src/Tests/disjoint/definite/makefile
@@ -6,7 +6,7 @@ BUILDSCRIPT=../../../buildscript
 
 DISJOINT= -disjoint -disjoint-k 1 -enable-assertions -do-definite-reach-analysis
 
-BSFLAGS= -justanalyze -mainclass $(PROGRAM) -heapsize-mb 1024 -noloop -joptimize -debug
+BSFLAGS= -justanalyze -mainclass $(PROGRAM) -heapsize-mb 1024 -noloop -joptimize -debug #-flatirusermethods
 
 
 all: