From: Seyed Amir Hossein Aqajari <saqajari@circinus-48.ics.uci.edu>
Date: Fri, 6 Dec 2019 20:36:29 +0000 (-0800)
Subject: Fixing a small bug in Conflict Tracker
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1364e54947860f9805d49742a7e2a1eea2d3d072;p=jpf-core.git

Fixing a small bug in Conflict Tracker
---

diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index af9147b..a3a42b0 100644
--- a/src/main/gov/nasa/jpf/listener/ConflictTracker.java
+++ b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
@@ -193,7 +193,7 @@ public class ConflictTracker extends ListenerAdapter {
 
     // Check for conflict between outSet and this transition setSet
     for (NameValuePair i : parentNode.getOutSet()) {
-      if (valueMap.containsKey(i.getVarName())) {
+      if (firstValueMap.containsKey(i.getVarName())) {
         String value = firstValueMap.get(i.getVarName());
         Integer writer = firstWriterMap.get(i.getVarName());
         if ((value != null)&&(writer != null)) {