From: Seyed Amir Hossein Aqajari <saqajari@circinus-48.ics.uci.edu>
Date: Fri, 6 Dec 2019 20:46:02 +0000 (-0800)
Subject: Make the analysis more efficient
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=61943f1242a84a6f6456cb3ae3cf5a13f91ef4c2;p=jpf-core.git

Make the analysis more efficient
---

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()) {