From: stephey <stephey>
Date: Wed, 6 Apr 2011 07:33:22 +0000 (+0000)
Subject: bug fix for refCount in SMFEStates. I'm not sure if this fix covers all cases (it... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7587ac0e0045a6cdd886be53d12139e49d7b068f;p=IRC.git

bug fix for refCount in SMFEStates. I'm not sure if this fix covers all cases (it seems like it should to me)...
---

diff --git a/Robust/src/Analysis/Disjoint/ProcessStateMachines.java b/Robust/src/Analysis/Disjoint/ProcessStateMachines.java
index 816c6e02..cc87d828 100644
--- a/Robust/src/Analysis/Disjoint/ProcessStateMachines.java
+++ b/Robust/src/Analysis/Disjoint/ProcessStateMachines.java
@@ -133,7 +133,9 @@ public class ProcessStateMachines {
 	Set<SMFEState> states=fromEntry.getValue();
 	if (states.contains(state2)) {
 	  states.remove(state2);
-	  states.add(state1);
+    if(states.add(state1) && !fromState.equals(state2)) {
+      state1.refCount++; 
+    }
 	}
       }
     }