From: jjenista <jjenista>
Date: Mon, 10 Jan 2011 23:29:26 +0000 (+0000)
Subject: test that the genreach flat node doesn't get wiped away by java optimization
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e119dbef0cde0ddd1ff755b623f571f9cae4e7a2;p=IRC.git

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 dcb012af..b36b083b 100644
--- 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