From: jjenista Date: Tue, 5 Oct 2010 23:13:22 +0000 (+0000) Subject: updates X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=47183f8f4cde96c09db1c1096ad73d8ceef0a120;p=IRC.git updates --- diff --git a/Robust/src/Benchmarks/oooJava/tracking/makefile b/Robust/src/Benchmarks/oooJava/tracking/makefile index f511214f..20718bad 100644 --- a/Robust/src/Benchmarks/oooJava/tracking/makefile +++ b/Robust/src/Benchmarks/oooJava/tracking/makefile @@ -22,7 +22,7 @@ USECOREPROF= -coreprof $(COREPROFOVERFLOW) \ USEOOO= -ooojava 24 2 -ooodebug -ooodebug-disable-task-mem-pool -BSFLAGS= -64bit -mainclass $(PROGRAM) -heapsize-mb 1024 -garbagestats -debug -joptimize -noloop -optimize +BSFLAGS= -64bit -mainclass $(PROGRAM) -heapsize-mb 10000 -garbagestats -debug -joptimize -noloop -optimize DRELEASEMODE=-disjoint-release-mode -disjoint-alias-file aliases.txt tabbed DISJOINT= -disjoint -disjoint-k 1 -enable-assertions $(DRELEASEMODE) #-disjoint-desire-determinism