From: jjenista <jjenista>
Date: Tue, 30 Mar 2010 21:39:33 +0000 (+0000)
Subject: why was this missing--latent bug
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=a78fd1d4f4edecc24567d9f8e6ae5b5d7cf640c8;p=IRC.git

why was this missing--latent bug
---

diff --git a/Robust/src/Analysis/Disjoint/ReachGraph.java b/Robust/src/Analysis/Disjoint/ReachGraph.java
index 7dba300b..d775acaa 100644
--- a/Robust/src/Analysis/Disjoint/ReachGraph.java
+++ b/Robust/src/Analysis/Disjoint/ReachGraph.java
@@ -3718,7 +3718,9 @@ public class ReachGraph {
       return false;
     }
 
-    
+    if( !areallREinAandBequal( rg, this ) ) {
+      return false;
+    }    
 
     return true;
   }