From 61943f1242a84a6f6456cb3ae3cf5a13f91ef4c2 Mon Sep 17 00:00:00 2001
From: Seyed Amir Hossein Aqajari <saqajari@circinus-48.ics.uci.edu>
Date: Fri, 6 Dec 2019 12:46:02 -0800
Subject: [PATCH] Make the analysis more efficient

---
 src/main/gov/nasa/jpf/listener/ConflictTracker.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index a3a42b0..1cd281d 100644
--- a/src/main/gov/nasa/jpf/listener/ConflictTracker.java
+++ b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
@@ -112,6 +112,9 @@ public class ConflictTracker extends ListenerAdapter {
       	isChanged |= updateTheOutSet(node, nodeToProcess);
       }
 
+      // All the changes in parents are propagated
+      parentQueueMap.get(nodeToProcess).clear();
+
       // Check for a conflict if the outSet of nodeToProcess is changed
       if (isChanged) {
         for (Node node : nodeToProcess.getSuccessors()) {
-- 
2.34.1