bug fix: heap contexts for call sites were propgated from caller to callee incorrectl...

[IRC.git] / Robust / src / Benchmarks / oooJava / master-makefile

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index debd68cf2c27269d796fa540a6b1e2d3c8099350..2f7415108090b8699f9e5dbed1766351246c9fa7 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -40,7 +40,7 @@ RCRDEBUGV= -rcr_debug_verbose -printlinenum
 BSFLAGS= -64bit -mainclass $(PROGRAM)  -heapsize-mb 5000 -garbagestats -joptimize -noloop -optimize -nolock -debug #-nooptimize #src-after-pp
 
 
-CHECKPOINTSTO= -printlinenum -pointsto-check-v-runtime
+CHECKPOINTSTO= -printlinenum -pointsto-check-v-runtime -debug
 
 
 DRELEASEMODE=-disjoint-release-mode -disjoint-dvisit-stack-callees-on-top -disjoint-alias-file aliases.txt tabbed
@@ -76,16 +76,18 @@ DISJOINT= -disjoint -disjoint-k 1 -enable-assertions $(DRELEASEMODE) #-disjoint-
 # EX: (skip first 10 visits, capture the next 3, then halt)
 # -disjoint-debug-snap-method Remove 10 3 true
 
-DISJOINTDEBUG= -disjoint -disjoint-k 1 -enable-assertions \
-       -disjoint-write-dots final \
-       -flatirusermethods
-#       -disjoint-debug-callsite String.valueOf Power.main 1 1000 true \
+DISJOINTDEBUG= -disjoint -disjoint-k 1 -enable-assertions
+#      -disjoint-debug-callsite String.toString String.valueOf 1 1000 true \
+#      -disjoint-debug-snap-method String.toString 1 1000 true \
+#      -disjoint-write-initial-contexts \
+#      -disjoint-write-dots final
+#      -disjoint-debug-scheduling \
+#      -disjoint-write-ihms
+#      -flatirusermethods
 #       -justanalyze
 #      -disjoint-desire-determinism
 #      -disjoint-debug-callsite Demand.add Lateral.compute 1 1000 true
 #      -disjoint-debug-snap-method ComputeCenterOfMass 6 2 true
-#      -disjoint-debug-scheduling
-
 
 
 
@@ -99,6 +101,10 @@ single-remake-c:
 rcr-remake-c:
        $(BUILDSCRIPT) -nojava $(BMFLAGS) $(BSFLAGS) $(USECOREPROF) $(USERCR) $(DISJOINT) -o $(PROGRAM)r -builddir rcr  $(SOURCE_FILES) 
 
+check-remake-c:
+       $(BUILDSCRIPT) -nojava $(BMFLAGS) $(BSFLAGS) $(USECOREPROF) $(DISJOINTDEBUG) $(CHECKPOINTSTO) -o $(PROGRAM)c -builddir chk $(SOURCE_FILES)
+
+
 
 single: $(PROGRAM)s.bin