raw evaluation numbers for the mp3decoder

[IRC.git] / Robust / src / Benchmarks / disjoint / makefile

diff --git a/Robust/src/Benchmarks/disjoint/makefile b/Robust/src/Benchmarks/disjoint/makefile
index 4c71c08e39f73926f03bfda82c4404ab0a5638bb..99877c41ba1e1661b94712db038e78fc627af1f5 100644 (file)
--- a/Robust/src/Benchmarks/disjoint/makefile
+++ b/Robust/src/Benchmarks/disjoint/makefile
@@ -2,31 +2,49 @@ BUILDSCRIPT=~/research/Robust/src/buildscript
 
 #################################################
 ##
-##  To debug a call site, supply the symbols for
-##  the callee, then caller, then max number of
-##  analysis visits to the call site to write out
+##  To debug a call site supply:
+##    1. callee symbol
+##    2. caller symbol
+##    3. number of analysis call site visits to skip,
+##       before starting to capture (early visits
+##       are usually uninteresting)
+##    4. number of call site visits to capture
+##    5. whether to halt analysis immediately
+##       after capture (or let it run on normally)
 ##
 #################################################
-#DEBUGFLAGS= -disjoint-debug-callsite setClusters innerKMeansSetting 20
-#DEBUGFLAGS= -disjoint-debug-callsite ensureCapacity addElement 100
-#DEBUGFLAGS= -disjoint-debug-callsite setReduceFinish reduceOutput 100
+#DEBUGFLAGS= -disjoint-debug-callsite addInterOutput t6 20 50 false
+#DEBUGFLAGS= -disjoint-debug-callsite addElement addInterOutput 1 100 false
+#DEBUGFLAGS= -disjoint-debug-callsite ensureCapacity addElement 1 100 false
+#DEBUGFLAGS= -disjoint-debug-callsite get sortgroup 200 200 false
+
+
 
 #################################################
 ##
 ##  To get snapshots (graphs) for the exit of every
-##  node in a method, supply method symbol then the
-##  number of analysis visits to the method to skip
-##  (early visits usually uninteresting), then the
-##  number of visits to take snapshots for, finally
-##  a boolean value indicating if the analysis should
-##  immediately terminate after the last snapshot visit
+##  node in a method, supply:
+##    1. method symbol
+##    2. number of methods visits to skip,
+##       before starting to capture (early visits
+##       are usually uninteresting)
+##    3. number of analysis method visits to capture
+##    4. whether to halt analysis immediately
+##       after capture (or let it run on normally)
 ##
 #################################################
 #SNAPFLAGS= -disjoint-debug-snap-method calcGoodFeatureTask 5 10 true
 #SNAPFLAGS= -disjoint-debug-snap-method calcGoodFeature 5 1 true
-#SNAPFLAGS= -disjoint-debug-snap-method t3 1 1 true
-#SNAPFLAGS= -disjoint-debug-snap-method reduceOutput 5 50 true
+
+#SNAPFLAGS= -disjoint-debug-snap-method t6 20 1 false
+#SNAPFLAGS= -disjoint-debug-snap-method addInterOutput 1 100 false
+#SNAPFLAGS= -disjoint-debug-snap-method addElement 1 100 false
+#SNAPFLAGS= -disjoint-debug-snap-method sortgroup 50 100 false
+
+#SNAPFLAGS= -disjoint-debug-snap-method reduceOutput 1 20 true
 #SNAPFLAGS= -disjoint-debug-snap-method setReduceFinish 5 50 true
+#SNAPFLAGS= -disjoint-debug-snap-method setPartial 1 50 true
+
 
 
 
@@ -37,10 +55,10 @@ JAVAFLAGS= -mainclass test
 #VISITMODE= -disjoint-dvisit-pqueue
 VISITMODE= -disjoint-dvisit-stack-callees-on-top
 
-DEBUGMODE= -enable-assertions -disjoint-write-dots final -disjoint-alias-file aliases.txt normal
+DEBUGMODE= -enable-assertions -disjoint-write-dots final -disjoint-alias-file aliases.txt normal -disjoint-desire-determinism #-disjoint-write-initial-contexts -disjoint-write-ihms #-disjoint-debug-scheduling
 RELEASEMODE= -disjoint-release-mode -disjoint-alias-file aliases.txt tabbed
 
-BSFLAGS= -justanalyze -disjoint -disjoint-k 1 -flatirusermethods
+BSFLAGS= -justanalyze -disjoint -disjoint-k 1 #-flatirusermethods -flatirtasks
 
 all:
        echo 'pass another arg: <bamboo/bamboo-release/java/java-release>'