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 06818affcbb65bfe12105a2d749a5d773f3181ff..28b1d31fd59b50dd63be25adc2a7be64eb531d33 100644 (file)
--- 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;