From: jjenista <jjenista>
Date: Wed, 23 Mar 2011 00:35:14 +0000 (+0000)
Subject: changed options in code to actually print reach states on genreach output graphs
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cb5dc01db1d427d9eebe288a181b47cc8313920f;p=IRC.git

changed options in code to actually print reach states on genreach output graphs
---

diff --git a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
index 06818aff..28b1d31f 100644
--- a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
@@ -1158,10 +1158,10 @@ public class DisjointAnalysis implements HeapAnalysis {
                      true,    // write labels (variables)                
                      true,   // selectively hide intermediate temp vars 
                      true,    // prune unreachable heap regions          
-                     true,   // hide reachability altogether
+                     false,   // hide reachability altogether
                      false,   // hide subset reachability states         
                      true,    // hide predicates
-                     false );  // hide edge taints      
+                     true );  // hide edge taints      
     } break;