From: Seyed Amir Hossein Aqajari <saqajari@circinus-28.ics.uci.edu>
Date: Mon, 18 Nov 2019 23:32:35 +0000 (-0800)
Subject: Fixing a bug in ConflictTracker.java
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=f88ae9b28b6d0ea5a9af01356217e2a419ee39dc

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 3621a49..ca405b2 100644
--- 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));
 		}
 	}