From d9573b173433780f877538edc4c29d472cac01e4 Mon Sep 17 00:00:00 2001 From: amiraj Date: Tue, 3 Dec 2019 18:21:11 -0800 Subject: [PATCH] Change in Analysis --- .../nasa/jpf/listener/ConflictTracker.java | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java index b28d65b..4d185d0 100644 --- a/src/main/gov/nasa/jpf/listener/ConflictTracker.java +++ b/src/main/gov/nasa/jpf/listener/ConflictTracker.java @@ -160,6 +160,25 @@ public class ConflictTracker extends ListenerAdapter { HashMap valueMap = new HashMap(); // HashMap from varName to value HashMap writerMap = new HashMap(); // HashMap from varName to appNum + + System.out.println("#########################Set Set:"); + for (int i = 0;i < setSet.size();i++) { + NameValuePair nameValuePair = setSet.get(i); + String varName = nameValuePair.getVarName(); + String value = nameValuePair.getValue(); + Integer appNum = nameValuePair.getAppNum(); + + System.out.println("varName="+varName+", value="+value+", appNum="+appNum); + } + System.out.println("+++++++++++++++++++++++++Out Set:"); + for (NameValuePair nameValuePair : currentNode.getOutSet()) { + String varName = nameValuePair.getVarName(); + String value = nameValuePair.getValue(); + Integer appNum = nameValuePair.getAppNum(); + + System.out.println("varName="+varName+", value="+value+", appNum="+appNum); + } + // Update the valueMap and writerMap + check for conflict between the elements of setSet for (int i = 0;i < setSet.size();i++) { NameValuePair nameValuePair = setSet.get(i); -- 2.34.1