From e119dbef0cde0ddd1ff755b623f571f9cae4e7a2 Mon Sep 17 00:00:00 2001 From: jjenista Date: Mon, 10 Jan 2011 23:29:26 +0000 Subject: [PATCH] test that the genreach flat node doesn't get wiped away by java optimization --- Robust/src/Tests/disjoint/genreach/makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.34.1