From 1364e54947860f9805d49742a7e2a1eea2d3d072 Mon Sep 17 00:00:00 2001 From: Seyed Amir Hossein Aqajari Date: Fri, 6 Dec 2019 12:36:29 -0800 Subject: [PATCH] Fixing a small bug in Conflict Tracker --- src/main/gov/nasa/jpf/listener/ConflictTracker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)) { -- 2.34.1