X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fmain%2Fgov%2Fnasa%2Fjpf%2Flistener%2FDPORStateReducer.java;fp=src%2Fmain%2Fgov%2Fnasa%2Fjpf%2Flistener%2FDPORStateReducer.java;h=82f3db8bd94a50b0aa290d00f1a50458cf15fd36;hb=19be6924aa748aed8511f49b6ac84c1d7301afbb;hp=a0abd98c66033b353d880917c36cce2ab59b6a61;hpb=b56235883f0f40b95df581cf49f380f6d6d30ec6;p=jpf-core.git

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;
       }