bug fix, class library results improved, but directto benchmark still shows false...

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
index 17f9c02d5a0a70643a78ad3af8c3e2a1bba5a444..7c140d0504925fd64517ca86abaa36cb5808cc71 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
@@ -956,6 +956,7 @@ public class OwnershipAnalysis {
 
       if( arrayReferencees.doesNotCreateNewReaching( fsen ) ) {
         System.out.println( "Skipping no-heap-effect: "+fsen );
+        break;
       }
 
       lhs = fsen.getDst();
@@ -1461,7 +1462,7 @@ public class OwnershipAnalysis {
   // insert a call to debugSnapshot() somewhere in the analysis 
   // to get successive captures of the analysis state
   boolean takeDebugSnapshots = false;
-  String mcDescSymbolDebug = "addFirst";
+  String mcDescSymbolDebug = "insertElementAt";
   boolean stopAfterCapture = true;
 
   // increments every visit to debugSnapshot, don't fiddle with it
@@ -1478,7 +1479,7 @@ public class OwnershipAnalysis {
   int iterStartCapture = 0;
 
   // the number of snapshots to take
-  int numIterToCapture = 40;
+  int numIterToCapture = 300;
 
   void debugSnapshot(OwnershipGraph og, FlatNode fn) {
     if( debugCounter > iterStartCapture + numIterToCapture ) {