set up to count graph elements over every final graph for every analyzed method

[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 4a029fbe2fb833004767cef65bb0c0806acdd3e5..e44d26f8552bc9ecddb8d41fba9aedf447abd07d 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -77,10 +77,10 @@ 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 $(DRELEASEMODE) \
+DISJOINTDEBUG= -disjoint -disjoint-k 1 -enable-assertions $(DRELEASEMODE) -printlinenum \
        -justanalyze \
-       -disjoint-count-graph-elements \
-       -disjoint-disable-strong-update
+       -disjoint-count-graph-elements
+#      -disjoint-disable-strong-update
 #      -disjoint-disable-global-sweep
 
 #      -disjoint-summarize-per-class