Fixing a bug in ConflictTracker.java

diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index 3621a49ac3598589be39941c1107a27b20a919c2..ca405b25dacf78abaec4f885cbef1ef0c7852956 100644 (file)
--- a/src/main/gov/nasa/jpf/listener/ConflictTracker.java
+++ b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
@@ -187,6 +187,8 @@ public class ConflictTracker extends ListenerAdapter {
 
        if (setSet != null) {
                for (int i = 0;i < setSet.size();i++) {
+                       if (currentNode.getOutSet().contains(setSet.get(i)))
+                               currentNode.getOutSet().remove(setSet.get(i));
                        isChanged |= currentNode.getOutSet().add(setSet.get(i));
                }
        }