test that the genreach flat node doesn't get wiped away by java optimization

diff --git a/Robust/src/Tests/disjoint/genreach/makefile b/Robust/src/Tests/disjoint/genreach/makefile
index dcb012af1b6a6059828d47e82d39a4d0a3891d1d..b36b083bb5292593faaef1127c392dc28854803f 100644 (file)
--- a/Robust/src/Tests/disjoint/genreach/makefile
+++ b/Robust/src/Tests/disjoint/genreach/makefile
@@ -3,7 +3,7 @@ PROGRAM=test
 SOURCE_FILES=$(PROGRAM).java
 
 BUILDSCRIPT=~/research/Robust/src/buildscript
-BSFLAGS= -mainclass Test -justanalyze -disjoint -disjoint-k 1 -disjoint-write-dots final -disjoint-alias-file aliases.txt normal -enable-assertions
+BSFLAGS= -joptimize -flatirusermethods -mainclass Test -justanalyze -disjoint -disjoint-k 1 -disjoint-write-dots final -disjoint-alias-file aliases.txt normal -enable-assertions
 
 all: $(PROGRAM).bin