running new experiments

[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 669f7a1b43c470830cf81bbc95ae076ca5ddc9e3..679ef949a0c52ac33a85054867a6e7fbaf7aa728 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -78,12 +78,15 @@ DISJOINT= -disjoint -disjoint-k 1 -enable-assertions $(DRELEASEMODE) #-disjoint-
 # -disjoint-debug-snap-method Remove 10 3 true
 
 DISJOINTDEBUG= -disjoint -disjoint-k 1 -enable-assertions $(DRELEASEMODE) \
-       -do-definite-reach-analysis \
-       -disjoint-disable-global-sweep \
-       -disjoint-disable-strong-update \
-       -disjoint-disable-predicates \
-       -disjoint-summarize-per-class \
-       -disjoint-write-dots final
+       -justanalyze \
+       -disjoint-count-graph-elements
+#      -disjoint-disable-global-sweep \
+#      -disjoint-disable-strong-update
+#      -disjoint-summarize-per-class
+#      -disjoint-disable-predicates \
+#
+#      -disjoint-write-dots final
+#      -do-definite-reach-analysis \
 #      -disjoint-debug-scheduling
 #      -disjoint-debug-callsite Barneshut.Insert Barneshut.run 50 500 true
 #      -disjoint-debug-snap-method ArrayIndexedGraph.createNode 1 100 true \
@@ -97,7 +100,6 @@ DISJOINTDEBUG= -disjoint -disjoint-k 1 -enable-assertions $(DRELEASEMODE) \
 #      -disjoint-debug-snap-method FileInputStream.readLine 1 1000 true
 #      -disjoint-write-all-node-graphs
 #
-#       -justanalyze \
 #      -disjoint-debug-callsite String.toString String.valueOf 1 1000 true \
 #      -disjoint-desire-determinism
 #      -disjoint-debug-callsite Demand.add Lateral.compute 1 1000 true