From cb5dc01db1d427d9eebe288a181b47cc8313920f Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Wed, 23 Mar 2011 00:35:14 +0000
Subject: [PATCH] changed options in code to actually print reach states on
 genreach output graphs

---
 Robust/src/Analysis/Disjoint/DisjointAnalysis.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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;
 
 
-- 
2.34.1