Cleaning up: checking source code for (potential) bugs.
authorrtrimana <rtrimana@uci.edu>
Tue, 15 Dec 2020 17:43:59 +0000 (09:43 -0800)
committerrtrimana <rtrimana@uci.edu>
Tue, 15 Dec 2020 17:43:59 +0000 (09:43 -0800)
1  2 
src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java

@@@ -1069,8 -1067,8 +1069,7 @@@ public class DPORStateReducerWithSummar
      ArrayList<TransitionEvent> conflictTrace = conflictExecution.getExecutionTrace();
      HashMap<Integer, ReadWriteSet> confRWFieldsMap = conflictExecution.getReadWriteFieldsMap();
      // Skip if this event does not have any Read/Write set or the two events are basically the same event (number)
--    if (!confRWFieldsMap.containsKey(conflictChoice) ||
-             eventChoice == conflictTrace.get(conflictChoice).getChoice()) {
 -            reachableEvent == conflictTrace.get(conflictChoice).getChoice()) {
++    if (!confRWFieldsMap.containsKey(conflictChoice) || eventChoice == conflictTrace.get(conflictChoice).getChoice()) {
        return false;
      }
      // R/W set of choice/event that may have a potential conflict