From 461ece5d48c8a96e967b2670802406d1d4157df3 Mon Sep 17 00:00:00 2001 From: UCI Networking Group Date: Thu, 10 Dec 2020 16:01:36 -0800 Subject: [PATCH] Fixing a potential bug: if statement that contains updateBacktrackSetsFromGraph was only called once. --- src/main/gov/nasa/jpf/listener/DPORStateReducer.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java index a0abd98..82f3db8 100755 --- a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java +++ b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java @@ -752,8 +752,8 @@ public class DPORStateReducer extends ListenerAdapter { // Often a transition (choice/event) can result into forwarding/backtracking to a number of states boolean terminate = false; for(Integer stateId : justVisitedStates) { - // We only flip the value of terminate once ... - if (!terminate && prevVisitedStates.contains(stateId) || completeFullCycle(stateId)) { + // We perform updates on backtrack sets for every + if (prevVisitedStates.contains(stateId) || completeFullCycle(stateId)) { updateBacktrackSetsFromGraph(stateId); terminate = true; } -- 2.34.1