From: amiraj <amiraj.95@uci.edu>
Date: Thu, 12 Dec 2019 22:30:53 +0000 (-0800)
Subject: A change in propagate method.
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=1275e143b0da96e4ba0f45154d07962bcc282920;ds=sidebyside

A change in propagate method.
---

diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index 6977618..9e2917b 100644
--- a/src/main/gov/nasa/jpf/listener/ConflictTracker.java
+++ b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
@@ -88,15 +88,11 @@ public class ConflictTracker extends ListenerAdapter {
   }
 
   boolean propagateTheChange(Node currentNode) {
-    HashSet<Node> changed = new HashSet<Node>(currentNode.getSuccessors());
+    HashSet<Node> changed = new HashSet<Node>();
     boolean isChanged = false;
 
-    for (Node node : currentNode.getSuccessors()) {
-      isChanged = false;
-      isChanged = updateTheOutSet(currentNode, node);
-      if (isChanged)
-        changed.add(node);
-    }
+    // Add the current node to the changed set
+    changed.add(currentNode);
 
     while(!changed.isEmpty()) {
       // Get the first element of the changed set and remove it