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 a3a42b0f3812ee58b7309de942ccefe0a3c98146..1cd281dcd3823f1b25c9383d9b6219067ae82987 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);
       }
 
        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()) {
       // Check for a conflict if the outSet of nodeToProcess is changed
       if (isChanged) {
         for (Node node : nodeToProcess.getSuccessors()) {