From 1275e143b0da96e4ba0f45154d07962bcc282920 Mon Sep 17 00:00:00 2001 From: amiraj Date: Thu, 12 Dec 2019 14:30:53 -0800 Subject: [PATCH] A change in propagate method. --- src/main/gov/nasa/jpf/listener/ConflictTracker.java | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) 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 changed = new HashSet(currentNode.getSuccessors()); + HashSet changed = new HashSet(); 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 -- 2.34.1