From f88ae9b28b6d0ea5a9af01356217e2a419ee39dc Mon Sep 17 00:00:00 2001 From: Seyed Amir Hossein Aqajari Date: Mon, 18 Nov 2019 15:32:35 -0800 Subject: [PATCH] Fixing a bug in ConflictTracker.java --- src/main/gov/nasa/jpf/listener/ConflictTracker.java | 2 ++ 1 file changed, 2 insertions(+) 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)); } } -- 2.34.1