From: yeom <yeom>
Date: Tue, 5 Oct 2010 19:15:39 +0000 (+0000)
Subject: try to get more information about flagged sites.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=210137bf6b6cefc3b66049318c51c5685a834ae3;p=IRC.git

try to get more information about flagged sites.
---

diff --git a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
index 129bffd2..a07a2a6e 100644
--- a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
@@ -723,6 +723,9 @@ public class DisjointAnalysis {
     String treport;
     if( sitesToFlag != null ) {
       treport = String.format( "Disjoint reachability analysis flagged %d sites and took %.3f sec.", sitesToFlag.size(), dt );
+      if(sitesToFlag.size()>0){
+        treport+="\nFlagged sites:"+"\n"+sitesToFlag.toString();
+      }
     } else {
       treport = String.format( "Disjoint reachability analysis took %.3f sec.", dt );
     }