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