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 af9147b3eabd80c87b7c2b0f8f7432a8bcb04f41..a3a42b0f3812ee58b7309de942ccefe0a3c98146 100644 (file)
--- 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()) {
 
     // 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)) {
         String value = firstValueMap.get(i.getVarName());
         Integer writer = firstWriterMap.get(i.getVarName());
         if ((value != null)&&(writer != null)) {