Fixing a bug in ConflictTracker.java
authorSeyed Amir Hossein Aqajari <saqajari@circinus-28.ics.uci.edu>
Mon, 18 Nov 2019 23:32:35 +0000 (15:32 -0800)
committerSeyed Amir Hossein Aqajari <saqajari@circinus-28.ics.uci.edu>
Mon, 18 Nov 2019 23:32:35 +0000 (15:32 -0800)
src/main/gov/nasa/jpf/listener/ConflictTracker.java

index 3621a49..ca405b2 100644 (file)
@@ -187,6 +187,8 @@ public class ConflictTracker extends ListenerAdapter {
 
        if (setSet != null) {
                for (int i = 0;i < setSet.size();i++) {
 
        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));
                }
        }
                        isChanged |= currentNode.getOutSet().add(setSet.get(i));
                }
        }