From: rtrimana <rtrimana@uci.edu>
Date: Tue, 15 Dec 2020 17:43:59 +0000 (-0800)
Subject: Cleaning up: checking source code for (potential) bugs.
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=14a0098503db9e9d6d379e9133275afe6efd15b4

Cleaning up: checking source code for (potential) bugs.
---

14a0098503db9e9d6d379e9133275afe6efd15b4
diff --cc src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java
index 7cfab4d,ebc903e..1de1820
--- a/src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java
+++ b/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