From: rtrimana <rtrimana@uci.edu>
Date: Thu, 9 Apr 2020 22:57:20 +0000 (-0700)
Subject: Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=685707bfa5e2e600dbf296881c1f7fa6350cc2a1;p=jpf-core.git

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
---

685707bfa5e2e600dbf296881c1f7fa6350cc2a1
diff --cc src/main/gov/nasa/jpf/listener/DPORStateReducer.java
index 8531e2c,e613f09..7d5546c
--- a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
+++ b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
@@@ -599,9 -592,10 +599,9 @@@ public class DPORStateReducer extends L
      // Get the backtrack CG for this backtrack point
      int stateId = backtrackPointList.get(confEvtNum).getStateId();
      // Check if this trace has been done starting from this state
-     if (isTraceConstructed(newChoiceList, stateId)) {
+     if (isTraceAlreadyConstructed(newChoiceList, stateId)) {
        return;
      }
 -    //BacktrackPoint backtrackPoint = new BacktrackPoint(backtrackCG, newChoiceList);
      addNewBacktrackPoint(stateId, newChoiceList);
    }