Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
authorrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 22:57:20 +0000 (15:57 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 22:57:20 +0000 (15:57 -0700)
1  2 
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);
    }