running new experiments

[IRC.git] / Robust / src / Analysis / Disjoint / DisjointAnalysis.java

diff --git a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
index 0913d4fbaee0229a50020a699085bba498afd164..3023faf5d59f7b3f1028050bac5475a48727ffc1 100644 (file)
--- a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
@@ -930,6 +930,9 @@ public class DisjointAnalysis implements HeapAnalysis {
       treport += "\nFixed point algorithm visited "+totalMethodVisits+
         " methods and "+totalNodeVisits+" nodes.";
     }
+    if( state.DISJOINT_COUNT_GRAPH_ELEMENTS ) {
+      treport += "\n"+getPartial( mdSourceEntry ).countGraphElements()+"\n";
+    }
     String justtime = String.format("%.2f", dt);
     System.out.println(treport);