From 30c29ab4e129d20a76046832582b2ecc234d4b36 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Tue, 22 Sep 2020 11:53:43 -0700 Subject: [PATCH] Fixing a bug: should use equals() to compare the values of Integer objects. --- src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java b/src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java index c31b912..c0a7db5 100644 --- a/src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java +++ b/src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java @@ -702,7 +702,7 @@ public class DPORStateReducerEfficient extends ListenerAdapter { String writeField = entry.getKey(); // Remove the entry from rwSet if both field and object ID are the same if (writeMap.containsKey(writeField) && - (writeMap.get(writeField) == recordedWriteMap.get(writeField))) { + (writeMap.get(writeField).equals(recordedWriteMap.get(writeField)))) { writeMap.remove(writeField); } } @@ -715,7 +715,7 @@ public class DPORStateReducerEfficient extends ListenerAdapter { String readField = entry.getKey(); // Remove the entry from rwSet if both field and object ID are the same if (readMap.containsKey(readField) && - (readMap.get(readField) == recordedReadMap.get(readField))) { + (readMap.get(readField).equals(recordedReadMap.get(readField)))) { readMap.remove(readField); } } -- 2.34.1