new version of experiments

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

diff --git a/Robust/src/Analysis/Disjoint/ReachGraph.java b/Robust/src/Analysis/Disjoint/ReachGraph.java
index d6c99ce175007e18b60c082b4b43a4ee7c5f884e..ca79278710caa0c5d83dfdc6aae8456358fef8a8 100644 (file)
--- a/Robust/src/Analysis/Disjoint/ReachGraph.java
+++ b/Robust/src/Analysis/Disjoint/ReachGraph.java
@@ -5423,7 +5423,7 @@ public class ReachGraph {
 
     for( HeapRegionNode node : id2hrn.values() ) {
 
-      if( node.isShadow() || node.isWiped() ) {
+      if( node.isShadow() || node.isWiped() || node.isOutOfContext() ) {
         // do not count nodes that are not functionally part of the
         // abstraction (they are in the graph for implementation
         // convenience when needed next)