Fixing a bug in ConflictTracker.java
authoramiraj <amiraj.95@uci.edu>
Fri, 18 Oct 2019 22:46:55 +0000 (15:46 -0700)
committeramiraj <amiraj.95@uci.edu>
Fri, 18 Oct 2019 22:46:55 +0000 (15:46 -0700)
src/main/gov/nasa/jpf/listener/ConflictTracker.java

index db47836..1343467 100644 (file)
@@ -539,10 +539,13 @@ public class ConflictTracker extends ListenerAdapter {
 
   private void writeWriterAndValue(String writer, String value, String var) {
     // Update the temporary Set set.
-    if (writer.equals("App1"))
-      tempSetSet.add(new NameValuePair(1, value, var, manual));
-    else if (writer.equals("App2"))
-      tempSetSet.add(new NameValuePair(2, value, var, manual));
+    NameValuePair temp = new NameValuePair(1, value, var, manual);
+    if (writer.equals("App2"))
+       temp = new NameValuePair(2, value, var, manual);
+    
+    if (tempSetSet.contains(temp))
+       tempSetSet.remove(temp);
+    tempSetSet.add(temp);
     // Set isSet to true
     isSet = true;
   }