bug fix for refCount in SMFEStates. I'm not sure if this fix covers all cases (it...

diff --git a/Robust/src/Analysis/Disjoint/ProcessStateMachines.java b/Robust/src/Analysis/Disjoint/ProcessStateMachines.java
index 816c6e02bc4a3c566cbb7dfb7200aad6910c1f3e..cc87d8289085e897322ea978dcfc877e753fbe59 100644 (file)
--- 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++; 
+    }
        }
       }
     }